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
1998Implementing a Concept Analysis Tool for Identifying Abstract Data Types in C code
Graudejus, H.
: Rombach, H.D. (Prüfer); Girard, J.-F. (Prüfer)
Thesis