Lorenzo Maldini, Stephen Wright. Systematic Assessment of Formal Methods Based Models Quality Criteria. In Ladjel Bellatreche, George A. Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain, editors, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings. Volume 1481 of Communications in Computer and Information Science, pages 31-45, Springer, 2021. [doi]
@inproceedings{MaldiniW21,
title = {Systematic Assessment of Formal Methods Based Models Quality Criteria},
author = {Lorenzo Maldini and Stephen Wright},
year = {2021},
doi = {10.1007/978-3-030-87657-9_3},
url = {https://doi.org/10.1007/978-3-030-87657-9_3},
researchr = {https://researchr.org/publication/MaldiniW21},
cites = {0},
citedby = {0},
pages = {31-45},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings},
editor = {Ladjel Bellatreche and George A. Chernishev and Antonio Corral and Samir Ouchani and Jüri Vain},
volume = {1481},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-87657-9},
}