Generating Requirements for Complex Embedded Systems using State Analysis

Paper number

IAC-04-U.3.A.05

Author

Mr. Michel Ingham, National Aeronautics and Space Administration (NASA), United States

Year

2004

Abstract document

IAC-04-U.3.A.05.pdf

Manuscript document

IAC-04-U.3.A.05.pdf (🔒 authorized access only).

To get the manuscript, please contact IAF Secretariat.