Author:
Chebbi Emna,Sondi Patrick,Ramat Eric
Reference13 articles.
1. Analysis of DSR protocol in e Event-B;Méry;Stabilization, Safety, and Security of Distributed Systems,2011
2. Yacoub, A., Frydman, C., et al. Using DEv-PROMELA for Modelling and Verification of Software. In: Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation. ACM; 2016, p. 245–253.
3. Chebbi, E., Sondi, P., Ramat, E.. Enhancing Formal Proofs of Network Protocols for Transport Systems using Discrete Event Simulation. In: The 9th Int. Conference on Advances in System Simulation. IARIA; 2017,.
4. Chebbi, E., Sondi, P., Ramat, E., Rivoirard, L., Wahl, M.. Simulation of a clustering scheme for vehicular ad hoc networks using a devs-based virtual laboratory environment. In: ANT 2018, The 9th International Conference on Ambient Systems, Networks and Technologies; vol. 130. Elsevier; 2018, p. pp–344.
5. Clausen, T., Jacquet, P., Adjih, C., Laouiti, A., Minet, P., Muhlethaler, P., et al. Optimized link state routing protocol (OLSR), RFC 3626; 2003. Https://doi.org/10.17487/RFC3626
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献