For the most recent entries see the Petri Nets Newsletter.

Testing of Protocol Implementations - A Systematic Approach to Derivation of Test Sequences from Global Protocol Specifications.

Burkhard, H.-J.; Eckert, H.; Giessler, A.

In: Diaz, M.: IFIP WG 6.1, 5th Int. Workshop on Protocol Specification, Testing, and Verification 1985, pages 461-481. Elsevier Science Publishers B.V. (North-Holland), 1986.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography