Formal description techniques and protocol specification, testing and verification
FORTE X / PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan
Edición de la obra Formal description techniques and protocol specification, testing and verification
| Autor | IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan). |
|---|---|
| Editorial | Chapman & Hall, Springer |
| Fecha de publicación | 1997 |
| Lugar |