Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The SH-verification tool

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

Sankt Augustin: GMD Forschungszentrum Informationstechnik, 1996, 11 S.
Arbeitspapiere der GMD, 1007
ISSN: 0723-0508
Englisch
Bericht
Fraunhofer SIT ()
formal model

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