Showing 1 - 2 results of 2 for search 'Garoche, Pierre-Loïc', query time: 0.03s Refine Results
  1. 1
    Formal Verification of Control System Software
    by Garoche, Pierre-Loïc
    Published 2019
    Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Formal verification of control system software
    by Garoche, Pierre-Loïc, 1982-
    Published 2019
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search