Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The SH-verification tool, instruments for verifying co-operation systems

 
: Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.

Gnesi, S. ; European Research Consortium for Informatics and Mathematics -ERCIM-:
Second International ERCIM Workshop on Formal Methods for Industrial Critical Systems : Cesena, Italy, 4 - 5 July 1997
Pisa, 1997
S.155-170
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) <2, 1997, Cesena>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()
formal model

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