English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Test case generation for ATM protocols using high-level Petri net models
Details
Full
Export
Statistics
Options
1996
Conference Paper
Titel
Test case generation for ATM protocols using high-level Petri net models
Author(s)
Bechtold, R.
Gattung, G.
Henniger, O.
Paule, C.
Hauptwerk
Testing communicating systems
Konferenz
International Workshop on Testing of Communicating Systems 1996
Language
English
google-scholar
View Details
Fraunhofer-Institut für Sichere Informationstechnologie SIT
Tags
testing
petri nets
formal model
protocol