|
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems / / Alek Radjenovic, Nicholas Matragkas, Richard F. Paige, Matteo Rossi and Alfredo Motta, et al. --
|
2012
|
1
|
|
MADES EU FP7 Project: Model-Driven Methodology for Real Time Embedded Systems / / Imran R. Quadri, Alessandra Bagnato and Andrey Sadovykh --
|
2014
|
1
|
|
|
|
1
|
|
"Madhulika" / / Steve Zeitlin --
|
2008
|
1
|