Subject
Hardware and Architecture,Information Systems,Software
Reference38 articles.
1. A framework for dynamic validation of context-aware applications;Achilleos,2012
2. Context modelling and a context-aware framework for pervasive service creation: a model-driven approach;Achilleos;Pervasive Mob. Comput.,2010
3. Industrial integration of graphical and formal specifications;Armstrong;J. Syst. Softw.,1998
4. Mdd approach for the development of context-aware applications;Ayed,2007
5. Introduction to special section on formal methods in pervasive computing;Bakhouya;ACM Trans. Auton. Adapt. Syst.,2012
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献