Jump to ContentJump to Main Navigation

You are looking at 1-1 of 1 items for:

  • Keywords: aerospace industry x
  • Mathematics x
  • University Presses: Princeton University Press x
  • Princeton University Press x
Clear All Modify Search

View:

Critical Embedded Software: Control Software Development and V&V

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0001
Subject:
Mathematics, Applied Mathematics

This chapter looks at the current state of physical systems controlled by an onboard computer. Typically this covers transportation systems such as cars, aircraft, railway systems, space systems, or ... More


View: