English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Case study: Service interaction detection by formal verification under behaviour abstraction
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1996
Conference Paper
Title
Case study: Service interaction detection by formal verification under behaviour abstraction
Author(s)
Cappellmann, C.
Demant, R.
Galvez-Estrada, R.
Nitsche, U.
Ochsenschläger, P.
Mainwork
AIN '96, International Workshop on Advanced Intelligent Networks
Conference
International Workshop on Advanced Intelligent Networks (AIN) 1996
Language
English
Fraunhofer-Institut für Sichere Informationstechnologie SIT
Keyword(s)
formal model
