Protocol Test Systems VIII Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 Cavalli Ana Innbundet / 1996 / Engelsk
Protocol Test Systems VIII Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 Cavalli Ana Heftet / 2013 / Engelsk
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France Budkowski Stan Heftet / 2013 / Engelsk
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France Budkowski Stan Innbundet / 1998 / Engelsk
Testing Software and Systems 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings Clark, David Heftet / 2022 / Engelsk
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers Yavorskiy, Rostislav Heftet / 2024 / Engelsk
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings Yevtushenko Nina Heftet / 2017 / Engelsk
