JPL Technical Report Server
Model-based verification and validation of spacecraft avionics
Login
JPL TRS Home
→
JPL Technical Report Server
→
JPL TRS 1992+
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
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
Name:
12-2640.pdf
Size:
2.060Mb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
JPL TRS 1992+
JPL TRS 1992+
Search
Search
This Collection
Browse
All Content
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register