Author:
Hilia Mohamed,Chibani Abdelghani,Djouani Karim
Reference24 articles.
1. A. Coronato, G. De Pietro, Tools for the rapid prototyping of provably correct ambient intelligence applications, IEEE Transac- tions on Software Engineering 38 (4) (2012) 975-991.
2. A. Coronato, G.D. E. Pietro, Formal specification of wireless and pervasive healthcare applications, ACM Transactions on Embedded Computing Systems (TECS) 10 (1) (2010) 12.
3. K. Benghazi, M.V. Hurtado, M.J. Hornos, M.L. Rodrguez, C. Rodrguez-Domnguez, A.B. Pelegrina, M.J. Rodrguez-Frtiz, Enabling correct design and formal analysis of ambient assisted living systems, Journal of Systems and Software 85 (3) (2012) 498-510.
4. S. Mokarizadeh, A. Grosso, M. Matskin, P. Kungas, A. Haseeb, Applying semantic web service composition for action plan- ning in multi-robot systems, in: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, Venice/Mestre, Italy, 2009, pp. 370-376.
5. J. Viterbo, L. Mazuel, Y. Charif, M. Endler, N. Sabouret, K. Breitman, A.E. F. Seghrouchni, J. Briot, Ambient intelligence: Management of distributed and heterogeneous context knowledge, CRC Studies in Informatics Series. Chapman & Hall (2008) 1-44.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献