The COMPASS 3.0 Toolset

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

(2017)
Conference Presentation

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

Identifier