Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Production cell in LUSTRE

 
: Holenderski, L.

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.77-88
Englisch
Aufsatz in Buch
Fraunhofer AIS ( IAIS) ()
embedded systems; reactive systems

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