Formal verification of control system software /

Bibliographic Details

Main Author:	Garoche, Pierre-Loïc (Author)
Format:	Book
Language:	English
Published:	Princeton, New Jersey : Princeton University Press, [2019]
Series:	Princeton series in applied mathematics.
Subjects:	Automatic control. Computer software.