Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Deductive Synthesis

 
: Burghardt, J.

Lewerentz, C. ; Forschungszentrum Informatik, Karlsruhe:
Case study "production cell" : A comparative study in formal software development
Karlsruhe: Forschungszentrum Informatik, 1994 (FZI-Publikation 94,1)
S.173-187
Englisch
Aufsatz in Buch
Fraunhofer FIRST ()
embedded systems; reactive systems

: http://publica.fraunhofer.de/dokumente/940664.html