Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015Compositional analysis using component-oriented interpolation
Nguyen, Viet Yen; Bittner, Benjamin; Katoen, Joost-Pieter; Noll, Thomas
Conference Paper
2015Formal validation methods in model-based spacecraft systems engineering
Katoen, Joost-Pieter; Nguyen, Viet Yen; Noll, Thomas
Book Article
2014Spacecraft early design validation using formal methods
Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Nguyen, Viet Yen; Noll, Thomas; Postma, Bart; Roveri, Marco
Journal Article