ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

Traffic Sequence Charts as a Backbone for the Assurance Chain: Linking Hazards, Scenarios, Requirements, and Tests in a Traceable Manner

Time: Monday, 26.10

Room: Room 1

Authors: Eike Möhlmann