Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Test case generation for ATM protocols using high-level Petri net models

 
: Bechtold, R.; Gattung, G.; Henniger, O.; Paule, C.

Baumgarten, B.; Burkhardt, H.-J.; Giessler, A. ; International Federation for Information Processing -IFIP-:
Testing communicating systems : IFIP TC6 9th International Workshop on Testing of Communicating Systems, Darmstadt, Germany 9-11 September 1996
London: Chapman & Hall, 1996
ISBN: 0-412-78790-3
International Workshop on Testing of Communicating Systems <9, 1996, Darmstadt>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()
testing; petri nets; formal model; protocol

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