The COMPASS 3.0 Toolset

(2017) [Konferenzbeitrag]

5th International Symposium on Model Based Safety Assessment Trento 2017-09-11 - 2017-09-13
Seite(n): 2 Seiten

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Bozzano, Marco
Bruintjes, Harold Yorick
Cimatti, Alessandro
Katoen, Joost-Pieter
Noll, Thomas

Weitere Autorinnen und Autoren

Tonetta, Stefano

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220397