activity
20192023
most citedSpecification and Verification of Timing Properties in Interoperable Medical Systems

3 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.NI2022

Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach

Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei +1

Wireless sensor and actuator networks (WSAN) are real-time systems which demand high degrees of reliability requirements. To ensure this level of reliability, different analysis ap…