[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 7349 || MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems
Vallecillo, Antonio, Tolvanen, Juha-Pekka, Kindler, Ekkart, Störrle, Harald, Kolovos, DimitrisVolume:
10.1007/97
Année:
2012
Langue:
english
DOI:
10.1007/978-3-642-31491-9_26
Fichier:
PDF, 316 KB
english, 2012