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

Berger, Philipp (Corresponding author); Nellen, Johanna; Katoen, Joost-Pieter; Ábrahám, Erika; Waez, Md Tawhid Bin; Rambow, Thomas

Cham : Springer (2019)
Contribution to a book, Contribution to a conference proceedings

In: 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.)
Page(s)/Article-Nr.: 59-75