Marie-Claude Vialatte

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

C. T. Nguyen, P. Hunel, Marie-Claude Vialatte
Application Context Definition for a Specific Application Layer Protocol and Rapid Prototyping with Estelle. ULPAA (1992)
C. T. Nguyen, P. Hunel, Marie-Claude Vialatte
Formal Specification, Validation and Implementation of an Application Protocol with Estelle. FORTE (1991)
Cong Tin Nguyen, Marie-Claude Vialatte, Christine Rieu
OSI application layer standards analysis for a distributed application implementation. LCN (1989)
Christine Rieu, Jean-Jacques Mercier, Marie-Claude Vialatte
A tool for specification and semi-automatic implementation. ICCC (1988)