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

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow

Browse the full FMICS paper archive.