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

✍ Scribed by coll.

Year: 2001
Tongue: English
Leaves: 159
Series: IFIP International Federation for Information Processing
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

(Produktform)Electronic book text

📜 SIMILAR VOLUMES

Formal Techniques for Networked and Dist

📁 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

✍ Sven Twarok, Peter Langendoerfer, Hartmut Koenig (auth.), Myungchul Kim, Byoungm 📂 Library 📅 2002 🏛 Springer US 🌐 English

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 Techniqu

Formal techniques for networked and dist

📁 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

✍ Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee 📂 Library 📅 2001 🌐 English

Formal techniques for networked and dist

📁 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

✍ Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee 📂 Library 📅 2001 🏛 Springer 🌐 English

Formal Techniques for Networked and Dist

📁 Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

✍ Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee 📂 Library 📅 2001 🏛 Springer 🌐 English

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, + Theorie

Formal Techniques for Networked and Dist

📁 Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

✍ Ethan K. Jackson, Wolfram Schulte (auth.), Kenji Suzuki, Teruo Higashino, Keiich 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.The 19 revised full papers and 1 revised short pa

Formal Techniques for Networked and Dist

📁 Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008, Proceedings

✍ Kenji Suzuki (editor), Teruo Higashino (editor), Keiichi Yasumoto (editor), Khal 📂 Library 📅 2008 🏛 Springer 🌐 English

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing