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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kim, Myungchul (Επιμελητής έκδοσης), Chin, Byoungmoon (Επιμελητής έκδοσης), Kang, Sungwon (Επιμελητής έκδοσης), Lee, Danhyung (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2002.
• Σειρά: IFIP International Federation for Information Processing, 69
• Θέματα: 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...