Chapter
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems
Authors
Radjenovic A; Matragkas N; Paige RF; Rossi M; Motta A; Baresi L; Kolovos DS
Book title
Modelling Foundations and Applications
Editors
Hutchison D; Kanade T; Kittler J; Kleinberg JM; Mattern F; Mitchell JC; Naor M; Nierstrasz O; Pandu Rangan C; Steffen B
Volume
7349
Pagination
pp. 340-351
Publisher
Springer Berlin Heidelberg
Publication Date
July 25, 2012
DOI
10.1007/978-3-642-31491-9_26