Hardback
Add to list Added to list Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Sayan Mitra
A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems –
Available to order, ships in approx 2 weeksAvailable to order