Formal description techniques and protocol specification, testing, and verification
Subtitle: 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
By: edited by Stan Budkowski, Ana Cavalli, Elie Najm.
Contributors: Budkowski, Stan.; Cavalli, Ana.; Najm, Elie.; 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)
Series: International Federation for Information Processing ;; 6; International Federation for Information Processing (Series) ;; 6.
Publisher: Kluwer Academic Publishers
Published: 1998
Place of publication: Boston
Language: eng
Number of pages: 467
Subjects: Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses; Formal methods (Computer science) -- Congresses
Genres: Congresses.; Congresses
Notes: Includes bibliographical references and index.