Formal Specification, Validation and Implementation of an Application Protocol with Estelle.

C. T. Nguyen, P. Hunel, Marie-Claude Vialatte

Browse the full FORTE paper archive.