Login / Signup

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

Luciano BaresiGundula BlohmDimitrios S. KolovosNicholas Drivalos MatragkasAlfredo MottaRichard F. PaigeAlek RadjenovicMatteo Rossi
Published in: Softw. Syst. Model. (2015)
Keyphrases