Phänomen-Signal-Modell: Formalismus, Graph und Anwendung. - Hans Nikolaus Beck; Nayel Fabian Salem; Veronica Haber; Matthias Rauschenbach; Jan Reich (CoRR, 2021)

Phenomenon-Signal Model: Formalisation, Graph and Application. - Hans Nikolaus Beck; Nayel Fabian Salem; Veronica Haber; Matthias Rauschenbach; Jan Reich (CoRR, 2022)

Ein Beitrag zur durchgängigen, formalen Verhaltensspezifikation automatisierter Straßenfahrzeuge. - Nayel Fabian Salem; Veronica Haber; Matthias Rauschenbach; Marcus Nolte; Jan Reich; Torben Stolte; Robert Graubohm; Markus Maurer (CoRR, 2022)