1992 | ||
---|---|---|
2 | C. T. Nguyen, P. Hunel, M.-C. Vialatte: Application Context Definition for a Specific Application Layer Protocol and Rapid Prototyping with Estelle. ULPAA 1992: 249-263 | |
1991 | ||
1 | C. T. Nguyen, P. Hunel, M.-C. Vialatte: Formal Specification, Validation and Implementation of an Application Protocol with Estelle. FORTE 1991: 361-376 |
1 | P. Hunel | [1] [2] |
2 | M.-C. Vialatte | [1] [2] |