✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 7892 || Verification of Directed Acyclic Ad Hoc Networks

✍ Scribed by Beyer, Dirk; Boreale, Michele

Book ID: 120524852
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 292 KB
Category: Article
ISBN: 3642385923
DOI: 10.1007/978-3-642-38592-6_14

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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] Ad-H

[Lecture Notes in Computer Science] Ad-Hoc, Mobile, and Wireless Networks Volume 4686 || Dependable and Secure Distributed Storage System for Ad Hoc Networks

✍ Kranakis, Evangelos; Opatrny, Jaroslav 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 243 KB

[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

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 5522 || On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

✍ Lee, David; Lopes, Antónia; Poetzsch-Heffter, Arnd 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 316 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Mobile Computing Volume 3465 || Dealing with Node Mobility in Ad Hoc Wireless Network

✍ Bernardo, Marco; Bogliolo, Alessandro 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 717 KB

This Book Presents 8 Tutorial Survey Papers By Leading Researchers Who Lectured At The 5th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm 2005, Held In Bertinoro, Italy In April 2005. Sfm 2005 Was Devoted To Formal Methods And Tools For Th

[Lecture Notes in Computer Science] Netw

[Lecture Notes in Computer Science] Networked Systems Volume 7853 || Secured Geographic Routing Protocol for Vehicular Ad Hoc Networks (VANETs)

✍ Gramoli, Vincent; Guerraoui, Rachid 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 147 KB

This book constitutes the revised selected papers of the First International Conference on Networked Systems, NETYS 2013, held in Marrakech, Morocco, in May 2013. The 33 papers (17 regular and 16 short papers) presented were carefully reviewed and selected from 74 submissions. They address major top