Formal verification of control system software - Garoche, Pierre-Loïc (Cambridge, Massachusetts The MIT Press, 2019)
Electronic reproduction
Keywords: Computer software -- Verification; Digital control systems; Automatic control -- Computer programs; Electronic books