Journal article
Formal verification and validation of embedded systems: the UML-based MADES approach
Authors
Baresi L; Blohm G; Kolovos DS; Matragkas N; Motta A; Paige RF; Radjenovic A; Rossi M
Journal
Software & Systems Modeling, Vol. 14, , pp. 343–363
Publication Date
February 1, 2015
DOI
10.1007/s10270-013-0330-z