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
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
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
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
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
Quality of Information and Communications Technology 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings Paiva, Ana C. R. Heftet / 2021 / Engelsk
Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, Greece, September 23, 2010, Revised Selected Papers Garcia-Alfaro Joaquin Heftet / 2011 / Engelsk
