Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2005Component-based software development for embedded systems
: Atkinson, C.; Bunse, C.; Groß, H.-G.; Peper, C.
Sammelband
2005Component-based software development for embedded systems - an introduction
Atkinson, C.; Bunse, C.; Peper, C.; Groß, H.-G.
Aufsatz in Buch
2002Formal software specification with refinements and modules of typed graph transformation systems
Große-Rhode, M.; Parisi Presicce, F.; Simeoni, M.
Zeitschriftenaufsatz
2000Spezifikation von dezentralen und verteilten Automatisierungssystemen mit der UML
Braatz, A.
Konferenzbeitrag
1995Parametric algebraic specifications with gentzen formulas - from quasi-freeness to free functor semantics
Löwe, M.; Wolter, U.
Zeitschriftenaufsatz