Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networks

 

Alur, R.:
Computer aided verification : 8th international conference ; proceedings / CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996
Berlin: Springer, 1996 (Lecture Notes in Computer Science 1102)
ISBN: 3-540-61474-5
ISSN: 0302-9743
S.466-469
International Conference on Computer Aided Verification (CAV) <8, 1996, New Brunswick/NJ>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()
formal model

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