Towards Automatic Design and Verification for Level 3 of the European Train Control System

R. Wille, T. Peham, J. Przigoda, N. Przigoda. Towards Automatic Design and Verification for Level 3 of the European Train Control System. Design, Automation and Test in Europe (DATE 2021), pages 974-979, DOI 10.23919/DATE51398.2021.9473935, 7, 2021.

Autoren
  • Robert Wille
  • T. Peham
  • J. Przigoda
  • N. Przigoda
TypIn Konferenzband
JournalDesign, Automation and Test in Europe (DATE 2021)
DOI10.23919/DATE51398.2021.9473935
Monat7
Jahr2021
Seiten974-979