Protocol Test Systems 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems Mizuno Tadanori Innbundet / 1995 / Engelsk
Protocol Test Systems 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems Mizuno Tadanori Heftet / 2013 / Engelsk
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 Togashi Atsushi Innbundet / 1997 / Engelsk
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 Togashi Atsushi Heftet / 2013 / Engelsk
