✦ LIBER ✦

Modeling, specification and verification of ad-hoc sensor networks using SPIN

✍ Scribed by Vladimir A. Oleshchuk

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Management of Wireless Ad Hoc Networks a

✍ Mehmet Ulema; Jose Marcos Nogueira; Barcin Kozbe 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 122 KB

Mobile Ad Hoc Networking (Basagni/Ad Hoc

✍ Basagni, Stefano; Conti, Marco; Giordano, Silvia; Stojmenovic, Ivan 📂 Article 📅 2005 🏛 John Wiley & Sons, Inc. ⚖ 242 KB

Guest editorial vehicular ad hoc and sen

✍ Chao, Han-Chieh; Chen, Yuh-Shyan; Hamalainen, Seppo 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 115 KB

Performance modelling and evaluation of

✍ Mohamed Ould-Khaoua 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 88 KB

Editorial for the Special Issue of Ad ho

✍ Jelena Mišić; Mukesh Singhal 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 75 KB

Quality of service in ad hoc and sensor

✍ Carla-Fabiana Chiasserini; Vikram Srinivasan 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 177 KB