Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles

von Tabassam, Nadra
Veröffentlicht in KES International Symposium Smart Transportation Systems (5. : 2022 : Rhodos) Smart transportation systems 2022 (2022)

Handling of Operating Modes in Contract-Based Timing Speciıtlications

von Kröger, Janis
Veröffentlicht in VECoS (15. : 2021 : Online) Verification and evaluation of computer and communication systems (2022)