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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Garoche, Pierre-Loïc, 1982- (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