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, 2001, Cheju Island, Korea /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kim, Myungchul (Editor), Chin, Byoungmoon (Editor), Kang, Sungwon (Editor), Lee, Danhyung (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2002.
• Series: IFIP International Federation for Information Processing, 69
• Subjects: Computer science.; Microprocessors.; Computer communication systems.; Software engineering.; Computers.; Electrical engineering.; Computer Science.; Computer Communication Networks.; Computing Methodologies.; Processor Architectures.; Software Engineering/Programming and Operating Systems.; Electrical Engineering.

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques...