Formal methods for protocol engineering and distributed systems : 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

edited by Jianping Wu, Samuel T. Chanson, Qiang Gao
Bok · Engelsk · 1999 Testing and Verification IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification

Utgitt	Boston : Kluwer , c1999
Omfang	497 s. : ill.
Emner	Computer network protocols Electronic data processing - Distributed processing Formal methods (Computer science) Datamaskinnett - Protokoller Distribuert databehandling
ISBN	0792386469