Assessment of ESTELLE and EDT Through Real Case Studies

Serge Haddad, Mohamed Taghelit, Belhassen Zouari. Assessment of ESTELLE and EDT Through Real Case Studies. In André A. S. Danthine, Guy Leduc, Pierre Wolper, editors, Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. Volume C-16 of IFIP Transactions, pages 223-238, North-Holland, 1993.

Abstract

Abstract is missing.