Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1996Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik" - SERVINT II
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Link, A.; Nitsche, U.; Noll, A.; Ochsenschläger, P.; Repp, J.; Rieke, R.
Bericht
1996Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik - SERVINT2
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.
Bericht
1995Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik"- SERVINT
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.
Bericht