论文信息 - Use of Formal Specifications for Protocol Design, Implementation and Testing - 字舞流文

Use of Formal Specifications for Protocol Design, Implementation and Testing

Gregor von Bochmann | Eduard Cerny | Rachida Dssouli | Behçet Sarikaya | Michel Maksud | George Walter Gerber | B. H. Phan | Jean-Marc Serre