|
BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2014/38462
|
| Title: | Model checking investigations for fauIt protect ion system validation |
| Authors: | Barltrop, Kevin J.
Pingree, Paula J. |
| Keywords: | model checking
validation
verification |
| Issue Date: | 13-Jul-2003 |
| Publisher: | Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2003 |
| Citation: | JPL CSMISS, SMC-IT 2003, Pasadena, California, July 13-17, 2003. |
| URI: | http://hdl.handle.net/2014/38462 |
| Appears in Collections: | JPL TRS 1992+
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
