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)
Contribution to a book, Contribution to a conference proceedings

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