George Walter Gerber

Publication Activity (10 Years)

Years Active: 1984-1991
Publications (10 Years): 0

Publications

Antonio Joaquim S. R. Silva, George Walter Gerber
Fault-Tolerant Distributed Database for Supervisory Control Systems. Datenbank Rundbr. 8 (1991)
Gregor von Bochmann, George Walter Gerber, Jean-Marc Serre
Semiautomatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 13 (9) (1987)
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)