Formal verification of control system software

Formal verification of control system software

Detalhes bibliográficos
Autor principal: Garoche, Pierre-Loïc (Autor)
Formato: Electronic Resource
Idioma:English
Publicado em: Cambridge, Massachusetts The MIT Press [2019]
Assuntos:
Computer software > Verification.
Digital control systems.
Automatic control > Computer programs.
Electronic books.
Acesso em linha:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452601
https://ieeexplore.ieee.org/document/9452601