Publications

Publications for Philipp Berger

2019
DOI
[bibtex]
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Abraham, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development. Proc. of the 24th Int. Conf. on Formal Methods for Industrial Critical Systems (FMICS'19), Volume 11687 of LNCS, pages 59–75, Springer, 2019.
Show all