Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen. Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. In Jan Kofron, Tiziana Margaria, Cristina Seceleanu, editors, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Volume 14390 of Lecture Notes in Computer Science, pages 153-169, Springer, 2023. [doi]

Abstract

Abstract is missing.