Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formale Verifikation des Entwurfs einer Steuereinrichtung mittels Modelchecking

 
: Fordran, E.; Schönherr, J.; Straube, B.; Donath, U.

Döschner, C. ; Univ. Magdeburg, Institut für Automatisierungstechnik -IFAT-:
Verteilte Automatisierung - Modelle und Methoden für Entwurf, Verifikation, Engineering und Instrumentierung : Magdeburg, 22. bis 23. März 2000 ; als Begleitband zur Fachtagung Verteilte Automatisierung - Modelle und Methoden für Entwurf, Verifikation, Engineering und Instrumentierung ; Fachtagung 2000 ; Tagungsband
Magdeburg: Universität Magdeburg, Fakultät Elektrotechnik, 2000
ISBN: 3-929757-30-3
Fachtagung Verteilte Automatisierung - Modelle und Methoden für Entwurf, Verifikation, Engineering und Instrumentierung <2000, Magdeburg>
Deutsch
Konferenzbeitrag
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()

: http://publica.fraunhofer.de/dokumente/B-78753.html