Formal verification and validation of embedded systems: the UML-based MADES approach

Luciano Baresi, Gundula Blohm, Dimitrios 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. Software and Systems Modeling, 14(1):343-363, 2015. [doi]

Abstract

Abstract is missing.