Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow
European Congress on Embedded Real Time Software and Systems 2018
This paper proposes a visual, formal specification language for capturing scenarios, and, thus, addresses key industrial needs for supporting scenario-driben specification and scenario-based acceptance testing for HAVs.
Janurary / 2018
inproceedings
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
ENABLE-S3 European Initiative to Enable Validation for Highly Automated Safe and Secure Systems