Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
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
2013Model-based deployment of mission-critical spacecraft applications on multicore processors
Kampenhout, J. Reinier van; Hilbrich, Robert
Conference Paper
1990Hochgeschwindigkeitsimpakt - Bedeutung für die Weltraum-Technologie
Schneider, E.; Stilp, A.
Book Article