X hits on this document

Powerpoint document

Requirements Decomposition Analysis, Model Based Testing of Sequential Code Properties - page 1 / 17

60 views

0 shares

0 downloads

0 comments

1 / 17

California Institute of Technology

Requirements Decomposition Analysis, Model Based Testing of Sequential Code Properties

Allen P. Nikora, John D. Powell

Jet Propulsion Laboratory,

California Institute of Technology

Pasadena, CA

Allen.P.Nikora@jpl.nasa.gov

John D. Powell@jpl.nasa.gov

The work described in this paper was carried out at the Jet Propulsion Laboratory, California Institute of Technology.  This work is sponsored by the National Aeronautics and Space Administration’s Office of Safety and Mission Assurance under the NASA Software Program led by the NASA Software IV&V Facility.  This activity is managed locally at JPL through the Assurance Technology Program Office (ATPO).

Document info
Document views60
Page views60
Page last viewedMon Jan 23 23:53:47 UTC 2017
Pages17
Paragraphs299
Words1977

Comments