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
2013Autonomous systems: From requirements to modeling and implementation
Serbedzija, Nikola
Conference Paper
2011Constructing models to enable automated testing of distributed functions in component-based systems
Bauer, Thomas; Eschbach, Robert
Report
2011Iterative refinement of specification for component based embedded systems
Shahbaz, Muzammil; Shashidhar, K.C.; Eschbach, Robert
Report
2011Iterative refinement of specification for component based embedded systems
Shahbaz, Muzammil; Shashidhar, K.C.; Eschbach, Robert
Conference Paper
2007Interoperabilität und Transplantation mobiler Software-Agenten
Pinsdorf, Ulrich
: Encarnação, José L. (Referent); Rossak, Wilhelm (Referent)
Dissertation
2007RTLOpen Plattform Handbuch. Teil 3 - Softwareentwicklung von Echtzeitsystemen
Elberzhager, Frank; Kalmar, Ralf; Keuler, Thorsten; Meininger, Stefan
Report
2005Component-based software development for embedded systems
: Atkinson, C.; Bunse, C.; Groß, H.-G.; Peper, C.
Book
2005Component-based software development for embedded systems - an introduction
Atkinson, C.; Bunse, C.; Peper, C.; Groß, H.-G.
Book Article