Formal description techniques and protocol specification, testing, and verification FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France) Stan Budkowski; Ana Cavalli; Elie Najm; IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (11th 1998 Paris, France); IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (18th 1998 Paris, France)

Boston Kluwer Academic Publishers 1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.05 I23fo 1998 e.1 )(Acessar)