Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Princeton, New Jersey :
Princeton University Press,
[2019]
|
| Series: | Princeton series in applied mathematics.
|
| Subjects: | |
| Online Access: | Texto completo |