Models and Analysis for Distributed Systems More Books Like This

Communicating Embedded Systems Communicating Embedded Systems
Communicating Embedded Systems
2013
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
2021