๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications

โœ Scribed by Hilia, Mohamed; Chibani, Abdelghani; Djouani, Karim


Book ID
122882228
Publisher
Elsevier
Year
2013
Tongue
English
Weight
309 KB
Volume
19
Category
Article
ISSN
1877-0509

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Leve
โœ Margaria, Tiziana; Steffen, Bernhard ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 492 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18โ€“21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners