NASA Jet Propulsion Laboratory California Institute of Technology Follow this link to skip to the main content

BEACON eSpace at Jet Propulsion Laboratory >

Items for Author "Easterbrook, Steve M."

Return to Browse by Author
Sorting by Title Sort by Date

Showing 1 items.

Issue DateTitleAuthor(s)
6-Apr-1998 Validating Requirements for Fault Tolerant Systems Using Model Checking Schneider, Francis; Easterbrook, Steve M.; Callahan, John R.; Holzlmann, Gerard J.

 

Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on November 15, 2012.
If you have any comments or suggestions for this web site, please e-mail Alexander Smith or call 4-4202.