Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1997Untersuchung von Service Interaction in intelligenten Netzen mittels formaler Methoden
Galvez-Estrada, R.
Diplomarbeit
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
1996Case study: Service interaction detection by formal verification under behaviour abstraction
Cappellmann, C.; Demant, R.; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag
1996Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networks
Cappellmann, C.; Demant, R.; Galvez-Estrada, R.; Fatahi-Vanani, F.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag
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