Stefan Mitsch, Grant Olney Passmore, Andre Platzer,
"Collaborative Verification-Driven Engineering of Hybrid Systems"
, in Mathematics in Computer Science, Vol. 8, Nummer 1, Springer, Seite(n) 71-97, 2014
Original Titel:
Collaborative Verification-Driven Engineering of Hybrid Systems
Sprache des Titels:
Englisch
Journal:
Mathematics in Computer Science
Veröffentlicher:
Springer
Volume:
8
Number:
1
Seitenreferenz:
71-97
Erscheinungsjahr:
2014
Anzahl der Seiten:
27
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift