Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks. Bachmann, V., Lehman Ibáñez, P., Oetting, A., Pejic, M., Bilal, Ü., & Vogel, S.
bibtex   
@Article{bachmann22teilautomatisierte,
  author       = {Bachmann, Volkmar and Lehman Ibáñez, Pedro and Oetting, Andreas and Pejic, Miroslav and Üyümezm Bilal and Vogel, Salome},
  date         = {2022-08},
  journaltitle = {Eisenbahningenieur},
  title        = {Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks},
  comment      = {- Referenzen für Planung, Prüfung, etc.
- stellt Architektur für System zur (teil)automatisierten Prüfung vor

  - liest sich direkt wie eine Software-Architektur},
  file         = {:bachmann22teilautomatisierte - Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks.pdf:PDF},
  groups       = {rail},
}

Downloads: 0