Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik" - SERVINT II

 

Darmstadt: Fraunhofer SIT, 1996
Deutsch
Technischer Bericht
Fraunhofer SIT ()

: http://publica.fraunhofer.de/dokumente/N-212303.html