@inproceedings{hal-01714060/dammkmpr2018, Author = {Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow}, Title = {Using Traffic Sequence Charts for the Development of HAVs}, Year = {2018}, Series = {9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)}, Booktitle = {European Congress on Embedded Real Time Software and Systems 2018}, Url = {https://hal.archives-ouvertes.fr/hal-01714060/file/ERTS_2018_paper_17.pdf}, type = {inproceedings}, Abstract = {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.} } @COMMENT{Bibtex file generated on }