Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach.

Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani

Browse the full ETFA paper archive.