Author:
Bannour Boutheina,Lapitre Arnault,Le Gall Pascale
Publisher
Springer International Publishing
Reference34 articles.
1. RPL: IPv6 routing protocol for low-power and lossy networks, request for comments: 6550. Technical report, Cooper Power Systems and Cisco Systems and Stanford University, March 2012 (2012)
2. Alur, R., Dill, D.: A theory of timed automata. J. Theoret. Comput. Sci. 126, 183–235 (1994)
3. Arnaud, M., Bannour, B., Lapitre, A.: An illustrative use case of the DIVERSITY platform based on UML interaction scenarios. Electr. Notes Theoret. Comput. Sci. 320, 21–34 (2016)
4. Lecture Notes in Computer Science;B Bannour,2012
5. Bannour, B., Lapitre, A.: Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. In: International Workshop on RAPIDO@HiPEAC. ACM (2020)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献