Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Case study: Service interaction detection by formal verification under behaviour abstraction

 

Margaria, T. ; Univ. Passau, Fakultät für Mathematik und Informatik:
AIN '96, International Workshop on Advanced Intelligent Networks : March 25-26, 1996, Passau
Passau: Univ., Fakultät für Mathematik und Informatik, 1996 (MIP - Fakultät für Mathematik und Informatik, Universität Passau 9604)
S.71-90
International Workshop on Advanced Intelligent Networks (AIN) <1, 1996, Passau>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()
formal model

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