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

Cham / Springer International Publishing (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

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): 89-104

Autorinnen und Autoren

Autorinnen und Autoren

Schupp, Stefan
Ábrahám, Erika

Identifikationsnummern