JPL Technical Report Server
Model checking multitask applications for OSEK compliant real-time operating systems
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 checking multitask applications for OSEK compliant real-time operating systems
McKelvin, Mark L., Jr.
;
Gambleeed, Edward
;
Holzmann, Gerard
URI:
http://hdl.handle.net/2014/43518
Date:
2011-12-12
Keywords:
model checking; real time operating system; verification
Publisher:
Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2011.
Citation:
The 17th IEEE Pacific Rim International Symposium on Dependable Computing, Pasadena, California, December 12-14, 2011.
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:
11-5472_A1b.pdf
Size:
1.782Mb
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