Formal verification of control system software/
Garoche, Pierre-Loïc, 1982
Formal verification of control system software/ Pierre-Loïic Garoche. - viii, 219 pages: illustrations; 24 cm. - Princeton series in applied mathematics . - Princeton series in applied mathematics .
9780691181301 0691181306
Automatic control.
Computer software.
005.12 / G237f
Formal verification of control system software/ Pierre-Loïic Garoche. - viii, 219 pages: illustrations; 24 cm. - Princeton series in applied mathematics . - Princeton series in applied mathematics .
9780691181301 0691181306
Automatic control.
Computer software.
005.12 / G237f