JPL Technical Report Server

Model-based verification and validation of spacecraft avionics

Model-based verification and validation of spacecraft avionics

Khan, M. Omair
URI: http://hdl.handle.net/2014/42578
Date: 2012-06-21
Keywords: avionics; Model Based Verification and Validation (MBV&V); Systems Modeling Language (SysML; model based systems engineering (MBSE)
Publisher: Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012.
Citation: AIAA Infotech 2012: Garden Grove, California, June 19-21, 2012

Show full item record

Items in TRS are protected by copyright, but are furnished with U.S. government purpose use rights.

Files in this item

Thumbnail
Name: 12-2640.pdf
Size: 2.060Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account