Ausleitung von Testfällen für automatisierte Fahrfunktionen auf Basis semiformaler Systemspezifikation

Kugler, Christopher; Granrath, Christian; Pischinger, Felix; Malvankar, Anuj; Däsch, Christoph; Meyer, Max-Arno; Andert, Jakob Lukas

Bremen : GfSE-Verlag (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Tag des Systems Engineering : Paderborn, 16.-18. November 2022 / Walter Koch, Daria Wilke, Stefan Dreiseitel, Rüdiger Kaffenberger
Seite(n)/Artikel-Nr.: 65-69