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 |