Formal verification of control system software

Formal verification of control system software

Bibliographische Detailangaben
1. Verfasser: Garoche, Pierre-Loïc (VerfasserIn)
Format: Electronic Resource
Sprache:English
Veröffentlicht: Cambridge, Massachusetts The MIT Press [2019]
Schlagworte:
Computer software > Verification.
Digital control systems.
Automatic control > Computer programs.
Electronic books.
Online Zugang:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452601
https://ieeexplore.ieee.org/document/9452601