Read Formal Techniques for Networked and Distributed Systems

Formal Techniques for Networked and Distributed Systems

Unknown Author

4.9/5 (22027 ratings)

Description:This work presents the latest world-wide results in theory and practice of formal techniques for networked and distributed systems. Its theme 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Formal Techniques for Networked and Distributed Systems. To get started finding Formal Techniques for Networked and Distributed Systems, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 472

Format: PDF, EPUB & Kindle Edition

Publisher: Plenum Publishing Corporation

Release: 2014

ISBN: 0306470039

Description: This work presents the latest world-wide results in theory and practice of formal techniques for networked and distributed systems. Its theme 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Formal Techniques for Networked and Distributed Systems. To get started finding Formal Techniques for Networked and Distributed Systems, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Formal Techniques for Networked and Distributed Systems

Formal Techniques for Networked and Distributed Systems

More Books