NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating SystemsNo abstract available
Document ID
20150005887
Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
External Source(s)
hdl:2014/43518
Authors
McKelvin, Mark L., Jr. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Gamble, Edward (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Holzmann, Gerard (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
April 17, 2015
Publication Date
December 12, 2011
Subject Category
Computer Programming And Software
Meeting Information
Meeting: IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011)
Location: Pasadena, CA
Country: United States
Start Date: December 12, 2011
End Date: December 14, 2011
Sponsors: Jet Propulsion Lab., California Inst. of Tech., International Federation for Information Processing, Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Copyright
Other
Keywords
real time operating system
verification
model checking

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available