This book presents the latest worldwide results in theory and  practice of formal techniques for networked and distributed systems.  The theme of the book is addressed by specialized papers in the  following areas:      +  Formal Methods in Software  Development,      +  Process Algebra,      +  Timed Automata,      + Theories and Applications of Verification,      +  Distributed Systems  Testing,      +  Test Sequence Derivation.  In addition, the  last part of the book contains special contributions by leading  researchers in the above areas to add breadth and give more  perspectives to the results.   This volume contains the selected proceedings of the International  Conference on Formal Techniques for Networked and Distributed Systems  (FORTE 2001), which was sponsored by the International Federation for  Information Processing (IFIP) and held in Cheju Island, Korea in  August 2001. FORTE 2001 combines two prestigious conferences, FORTE  (Formal Description Techniques for Distributed Systems and  Communication Protocols) and PSTV (Protocol Specification Testing and  Verification), and has more than 20 years of history.  Formal Techniques for Networked and Distributed Systems will be  essential reading for researchers and engineers working in the fields  of communications, test equipment R&D, and telecommunications, as well  as to software engineering tool developers.

Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim

Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim PDF

The list of books you might like