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]
Abstract is missing.