Andreas Müller,
"Component-based CPS Verification: A Recipe for Reusability"
: Doctoral Symposium of Formal Methods. 20th International Symposium on Formal Methods. Oslo, Norway, June 22, 2015, Seite(n) 33-37, 2015
Original Titel:
Component-based CPS Verification: A Recipe for Reusability
Sprache des Titels:
Englisch
Original Buchtitel:
Doctoral Symposium of Formal Methods. 20th International Symposium on Formal Methods. Oslo, Norway, June 22, 2015