JPL Technical Report Server

Model checking multitask applications for OSEK compliant real-time operating systems

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

Thumbnail
Name: 11-5472_A1b.pdf
Size: 1.782Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account