Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
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