JPL Technical Report Server
Bringing mathematical capabilities to SysML within Magicdraw
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.
Bringing mathematical capabilities to SysML within Magicdraw
Srivastava, Akshaya
URI:
http://hdl.handle.net/2014/43347
Date:
2012-08
Keywords:
Systems Modeling Language (SysML); Software architecture; software verification; software validation
Publisher:
Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012.
Citation:
NASA Undergraduate Student Research Program (USRP), Pasadena, California, August 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-4258_A1b.pdf
Size:
2.080Mb
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