Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems

Schupp, Stefan; Ábrahám, Erika (Corresponding author)

Cham : Springer International Publishing (2018)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer
Seite(n)/Artikel-Nr.: 89-104

Identifikationsnummern