Author:
DIB Ahmed Taki Eddine,Maamri Ramdane
Reference22 articles.
1. Benzadri, Z., Bouheroum, A., Belala, F., 2021. A Formal Framework for Secure Fog Architectures. International Journal of Organizational and Collective Intelligence 11. https://doi.org/10.4018/IJOCI.2021040103
2. A survey of context modelling and reasoning techniques;Bettini;Pervasive Mob. Comput.,2010
3. A bigraphical reactive systems with sharing for modeling wireless mesh networks;Boucebsi;J. King Saud Univers. Comput. Inform. Sci.,2020
4. A bigraph-based framework for specification and analysis of context-aware systems;Cherfia;Int. J. Crit. Comput. Based Syst.,2016
5. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, 2007. All About Maude - A High-Performance Logical Framework. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71999-1.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献