TY  - RPRT
TI  - Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
AU  - Philipp Berger
AU  - Johanna Nellen
AU  - Joost-Pieter Katoen
AU  - Erika Abraham
AU  - Md Tawhid Bin Waez
AU  - Thomas Rambow
PY  - 2019
UR  - https://arxiv.org/abs/1906.07083
ID  - 1906.07083
ER  -