Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton, New Jersey :
Princeton University Press,
[2019]
|
| Colección: | Princeton series in applied mathematics.
|
| Temas: | |
| Acceso en línea: | Texto completo |