Formal verification of control system software /
An essential introduction to the analysis and verification of control systems softwareThe verification of control systems software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive--the failure of controller software can cost people th...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Princeton, New Jersey :
Princeton University Press,
[2019]
|
| Series: | Princeton series in applied mathematics.
|
| Subjects: | |
| Online Access: | Connect to this title online (unlimited users allowed) |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: