𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Integration of Software Specification Techniques for Applications in Engineering Volume 3147 || Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks

✍ Scribed by Ehrig, Hartmut; Damm, Werner; Desel, Jörg; Große-Rhode, Martin; Reif, Wolfgang; Schnieder, Eckehard; Westkämper, Engelbert

Book ID
120675423
Publisher
Springer Berlin Heidelberg
Year
2004
Tongue
German
Weight
260 KB
Category
Article
ISBN
354027863X

No coin nor oath required. For personal study only.

✦ Synopsis

This Book Constitutes The Documentation Of The Scientific Outcome Of The Priority Program Integration Of Software Specification Techniques For Applications In Engineering Sponsored By The German Research Foundation (dfg). It Includes Main Contributions Of The Projects Of The Priority Program And Of Additional International Experts In The Field. Some Of The Papers Included Were Presented At The Related Third International Workshop On The Topic, Int 2004, Held In Barcelona, Spain In March 2004. The 25 Revised Full Papers Presented Together With 6 Section Introductions By The Volume Editors Were Carefully Reviewed And Selected For Inclusion In The Book. The Papers Are Organized In Topical Sections On Reference Case Study Production Automation, Reference Case Study Traffic Control Systems, Petri Nets And Related Approaches In Engineering, Charts, Verification, And Integration Modeling.

📜 SIMILAR VOLUMES

[Lecture Notes of the Institute for Comp
[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Quality, Reliability, Security and Robustness in Heterogeneous Networks Volume 115 || Routing Protocols in Mobile Ad-Hoc Network: A Review
✍ Singh, Karan; Awasthi, Amit K. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 167 KB

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2013, which was held in National Capital Region (NCR) of India during January 2013. The 87 revised full

[Lecture Notes of the Institute for Comp
[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Advances in Communication, Network, and Computing Volume 108 || Specification – Based Approach for Implementing Atomic Read/ Write Shared Memory in Mobile Ad Hoc Networks Using Fuzzy Logic
✍ Das, Vinu V.; Stephen, Janahanlal 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 648 KB

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Advances in Communication, Network, and Computing, CNC 2012, held in Chennai, India, February 24-25, 2012. The 41 revised full papers presented together with 29 short papers and 14 poster papers were c