Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Derrick, John (Editor), Vain, Jüri (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
• Series: Lecture Notes in Computer Science, 4574
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Operating systems (Computers).; Computer logic.; Computer Science.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for...