Cyber Physical Systems Series

Sayan Mitra et autres
Série • 3 livres • Ordinateurs
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
Sayan Mitra
Information-Driven Planning and Control Information-Driven Planning and Control
Information-Driven Planning and Control
Silvia Ferrari & Thomas A. Wettergren
Model Checking, second edition Model Checking, second edition
Model Checking, second edition
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled & Helmut Veith