| 1985 |
|---|
| 8 | | Mack W. Alford,
Jean-Pierre Ansart,
Günter Hommel,
Leslie Lamport,
Barbara Liskov,
Geoff P. Mullery,
Fred B. Schneider:
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
Springer 1985 |
| 1984 |
|---|
| 7 | | Jean-Pierre Ansart:
Issues and Tools for Protocol Specification.
Advanced Course: Distributed Systems 1984: 481-538 |
| 6 | EE | Jean-Pierre Ansart,
Omar Rafiq,
Richard Castanet,
Pascal Guitton:
Some operational tools in a OSI protocols study environment.
Computer Communication Review 14(2): 156-161 (1984) |
| 1983 |
|---|
| 5 | | Omar Rafiq,
Jean-Pierre Ansart:
VADILOC - A Protocol Validator and Its Applications.
Protocol Specification, Testing, and Verification 1983: 189-197 |
| 4 | | Jean-Pierre Ansart,
V. Chari,
D. Simon:
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).
Protocol Specification, Testing, and Verification 1983: 381-390 |
| 1982 |
|---|
| 3 | | Jean-Pierre Ansart,
Omar Rafiq,
V. Chari:
PDIL-Protocol Description and Implementation Language.
PSTV 1982: 101-112 |
| 2 | | Jean-Pierre Ansart:
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation.
PSTV 1982: 523-528 |
| 1 | | Jean-Pierre Ansart,
J. Damidau:
CERBERE, A Tool to Keep an Eye on High Level Protocols.
PSTV 1982: 529-537 |
