Use of Formal Specifications for Protocol Design, Implementation and Testing.

Sun, 01 Jan 1984 00:00:00 +0100

Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre:
Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV 1984: 137-144