The COMPASS 3.0 Toolset

(2017) [Conference Presentation]

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

Authors

Selected Authors

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

Other Authors

Tonetta, Stefano

Identifier

  • REPORT NUMBER: RWTH-CONV-220397