✦ LIBER ✦

Formal Modeling Techniques for Ambient Assisted Living

✍ Scribed by Guido Parente; Christopher D. Nugent; Xin Hong; Mark P. Donnelly; Liming Chen; Enrico Vicario

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ambient Assisted Living for ageing well

✍ A. N. Belbachir; M. Drobics; W. Marschitz 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 301 KB

Self-configuring agents for ambient assi

✍ Inmaculada Ayala, Mercedes Amor, Lidia Fuentes 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 468 KB

Trends and Challenges in Formal Specific

✍ Hilia, Mohamed; Chibani, Abdelghani; Djouani, Karim 📂 Article 📅 2013 🏛 Elsevier 🌐 English ⚖ 309 KB

Flexible thermoelectric generator for am

✍ L. Francioso; C. De Pascali; I. Farella; C. Martucci; P. Cretì; P. Siciliano; A. 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 659 KB

IEEE Healthcom 2010: "Ambient Assisted L

✍ Noury, N. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 804 KB

Situation Awareness in Applications of A

✍ Antonio Coronato, Giuseppe De Pietro 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 615 KB