Formal methods for protocol engineering and distributed systems
Subtitle: FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China
By: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Contributors: Wu, Jianping, 1953-; Chanson, Samuel T.; Gao, Qiang, 1963-; IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (12th : 1999 : Beijing, China); IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (19th : 1999 : Beijing, China)
Series: International Federation for Information Processing -- 28; International Federation for Information Processing (Series) -- 28.
Publisher: Kluwer Academic
Published: 1999
Place of publication: Boston
Language: eng
Number of pages: 497
Subjects: Formal methods (Computer science) -- Congresses.; Electronic data processing -- Distributed processing -- Congresses.; Computer network protocols -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.