Filters

Advanced Search Browse by Genre

Found 11 results for "Gregor V. Bochmann"

Protocol test systems, V
Protocol test systems, V

by IFIP TC6/WG6.1 International Workshop on Protocol Test Systems (5th 1992 Montréal, Québec), Gregor V. Bochmann

1993 2 ed.
Computer networks, architecture and applications
Computer networks, architecture and applications

by IFIP TC6 Working Conference on Computer Networks, Architecture, and Applications (1992 Trivandrum, India), S. V. Raghavan

1993 2 ed.
Formal description techniques, VIII
Formal description techniques, VIII

by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques (8th 1995 Montreal, Canada)

1996 2 ed.
Testing of communicating systems
Testing of communicating systems

by IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (13th 2000 Ottawa, Canada)

2000 2 ed.
Computer aided verification
Computer aided verification

by CAV (Conference) (4th 1992 Montréal, Québec)

1993 2 ed.
Computer networks, architecture and applications
Computer networks, architecture and applications

by IFIP TC 6 Working Conference on Computer Networks, Architecture and Applications (1992 Trivandrum, India)

1993 1 ed.
Protocol specification, testing and verification, VI
Protocol specification, testing and verification, VI

by IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (6th Montreal, Quebec 1986)

1987 1 ed.
Protocol specification, testing, and verification, VI
Protocol specification, testing, and verification, VI

by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (6th 1986 Montréal, Québec)

1987 1 ed.