Formal verification of control system software

Author(s)

    • Garoche, Pierre-Loïc

Bibliographic Information

Formal verification of control system software

Pierre-Loïc Garoche

（Princeton series in applied mathematics）

Princeton University Press, c2019

Available at  / 4 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [201]-216) and index

Related Books： 1-1 of 1

Details

  • NCID
    BB28307485
  • ISBN
    • 9780691181301
  • LCCN
    2019930479
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Princeton
  • Pages/Volumes
    viii, 219 p.
  • Size
    25 cm
  • Parent Bibliography ID
Page Top