Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Specifying and verifying the steam boiler control system with time extended LOTOS

 
: Willig, A.; Schieferdecker, I.K.

:

Abrial, J.-R.:
Formal methods for industrial applications : Specifying and programming the steam boiler control
Berlin: Springer, 1996 (Lecture Notes in Computer Science 1165)
ISBN: 3-540-61929-1
ISSN: 0302-9743
S.473-492
Englisch
Aufsatz in Buch
Fraunhofer FOKUS ()

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