Cover Image

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.
Description
Physical Description:viii, 219 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0691181306
9780691181301