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, S."

Return to Browse by Author
Sorting by Title Sort by Date

Showing 1 items.

Issue DateTitleAuthor(s)
Feb-1999 A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking Schneider, F.; Easterbrook, S.; Callahan, J.; Holzmann, G.; Reinholtz, W.; Ko, A.; Shahabuddin, M.


Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on December 5, 2014.
If you have any comments or suggestions for this web site, please e-mail Robert Powers.