Verifying Cyber-Physical Systems More Books Like This

Communicating Embedded Systems Communicating Embedded Systems
Communicating Embedded Systems
2013
Models and Analysis for Distributed Systems Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems
2013