Gregor von Bochmann profile picture

Gregor von Bochmann

Stand Alone

Architecture of distributed computer systems
Concepts for distributed systems design
Formal Description Techniques VIII
Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology)
Testing of Communicating Systems Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
Testing of Communicating Systems Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada