Xinghai Lu, Xiaohua Shi, Wenru Wang. DATAM: A model-based tool for dependability analysis. Concurrency - Practice and Experience, 33(7):1, 2021. [doi]
@article{LuSW21,
title = {DATAM: A model-based tool for dependability analysis},
author = {Xinghai Lu and Xiaohua Shi and Wenru Wang},
year = {2021},
doi = {10.1002/cpe.4988},
url = {https://doi.org/10.1002/cpe.4988},
researchr = {https://researchr.org/publication/LuSW21},
cites = {0},
citedby = {0},
journal = {Concurrency - Practice and Experience},
volume = {33},
number = {7},
pages = {1},
}