𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 5522 || A Model-Checking Approach for Service Component Architectures

✍ Scribed by Lee, David; Lopes, Antónia; Poetzsch-Heffter, Arnd

Book ID
120982770
Publisher
Springer Berlin Heidelberg
Year
2009
Weight
244 KB
Category
Article
ISBN
3642021387

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Web
[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || A Formal Approach to Service Component Architecture
✍ Bravetti, Mario; Núñez, Manuel; Zavattaro, Gianluigi 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 705 KB

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such t

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Fuzzy-Timed Automata
✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 KB

This Book Constitutes The Refereed Proceedings Of The 12th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2010, And The 30th Ifip Wg 6.1 Formal Techniques For Networked And Distributed Systems, Forte 2010, Held In Amsterdam, The Netherlands,

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2003 Volume 2767 || Formal Security Policy Verification of Distributed Component-Structured Software
✍ König, Hartmut; Heiner, Monika; Wolisz, Adam 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 162 KB

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion