Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani. Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. In 27th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2022, Stuttgart, Germany, September 6-9, 2022. pages 1-8, IEEE, 2022. [doi]
Abstract is missing.