Multiple Analyses, Requirements Once : Simplifying Testing and Verification in Automotive Model-Based Development

Cham / Springer (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.)
Seite(n): 59-75

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Berger, Philipp
Nellen, Johanna
Katoen, Joost-Pieter
Ábrahám, Erika
Waez, Md Tawhid Bin

Weitere Autorinnen und Autoren

Rambow, Thomas

Identifikationsnummern