Timed Automata

Timed Protocol Analysis of Interconnected Mobile IoT Devices
With the emergence of the Internet of Things (IoT), application developers can rely on a variety of protocols and Application …
PDF Cite Code Project DOI
Timed Protocol Analysis of Interconnected Mobile IoT Devices
Analysis of Timing Constraints in Heterogeneous Middleware Interactions
With the emergence of Future Internet applications that connect web services, sensor-actuator networks and service feeds, scalability …
PDF Cite Project Slides
Analysis of Timing Constraints in Heterogeneous Middleware Interactions