Jean-Pierre Courtiat;Aloysio Pedroza;Jean-Michel Ayache
-;-;-
Specification versus implementation based on Estelle
ACM SIGCOMM Computer Communication Review
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
IEEE Transactions on Software Engineering