Luciano Baresi, Gundula Blohm, Dimitris S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
Formal verification and validation of embedded systems: the UML-based MADES approach
ECMFA, 2015.
@article{ECMFA-J-2012-BaresiBKMMPRR15,
author = "Luciano Baresi and Gundula Blohm and Dimitris S. Kolovos and Nicholas Drivalos Matragkas and Alfredo Motta and Richard F. Paige and Alek Radjenovic and Matteo Rossi",
doi = "10.1007/s10270-013-0330-z",
journal = "{Software and System Modeling}",
number = 1,
pages = "343--363",
title = "{Formal verification and validation of embedded systems: the UML-based MADES approach}",
volume = 14,
year = 2015,
}