Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Untersuchungen zum zytotoxischen, gentoxischen und pro-inflammatorischen Potential von Graphen-Nanoplättchen in Rattenalveolarmakrophagen
Gripp, Tatjana
: Noll, Thomas (1. Gutachter); Ziemann, Christina (2. Gutachter)
Master Thesis
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
2014A review of statistical model checking pitfalls on real-time stochastic models
Bohlender, Dimitri; Bruintjes, Harold; Junges, Sebastian; Katelaan, Jens; Nguyen, Viet Yen; Noll, Thomas
Conference Paper
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