|
|
BEACON eSpace at Jet Propulsion Laboratory >
Browse by Title
Showing items 23418-23438 of 24092.
| Issue Date | Title | Author(s) |
| 8-Jul-1998 |
Validating Requirements for Fault Tolerant Systems Using Model Checking |
Schneider, F. |
| 6-Apr-1998 |
Validating Requirements for Fault Tolerant Systems Using Model Checking |
Schneider, Francis; Easterbrook, Steve M.; Callahan, John R.; Holzlmann, Gerard J. |
| 23-Jun-2004 |
Validating the autonomous EO-1 science agent |
Cichy, Benjamin; Chien, Steve; Rabideau, Gregg; Tran, Daniel |
| 14-Jul-2003 |
Validating the autonomous science agent |
Chien, Steve; Cichy, Benjamin; Schaffer, Steve; Tran, Danny; Rabideau, Gregg; Sherwood, Rob; Bote, Robert; Mandl, Dan; Frye, Stu; Shulman, Seth; Van Gaasbeck, Jim; Boyer, Darrell |
| Dec-2004 |
Validating the MISR radiometric scale for the ocean aerosol science communities |
Bruegge, Carol J.; Abdou, Wedad; Diner, David J.; Gaitley, Barbara; Helmlinger, Mark; Kahn, Ralph; Martonchik, John V. |
| 8-Mar-2006 |
Validation (not just verification) of Deep Space Missions |
Duren, Riley M. |
| 2-Jul-1997 |
Validation Analysis of the WAAS GIVE and UIVE Algorithms |
Mannucci, A.; Moore, A.; Iijima, B.; Ahmadi, R.; Becker, G.; Peck, S.; Choquette, F.; Gerard, T. |
| 20-Nov-2004 |
Validation and science analyses of AIRS quantities |
Fetzer, Eric J.; Kahn, Brian; Eldering, Annmarie; Granger, Stephanie; Leroy, Stephen |
| 2003 |
Validation and verification of deep-space missions |
Duren, R. M. |
| 6-Mar-2004 |
Validation and verification of the Kepler planet-detection mission |
Duren, R.; Gautier, N.; Dragon, K.; Koch, D.; Borucki, B.; Jenkins, J.; Mayer, D.; Batchell, E.; Bieber, B.; Peters, D.; Harvey, A. |
| 8-Mar-2003 |
Validation and verification of the Kepler planet-detection mission |
Duren, R. M. |
| 6-Mar-1999 |
Validation and Verification of the Remote Agent For Spacecraft Autonomy |
Smith, B.; Millar, B.; Dunphy, J.; Tung, Y.; Nayak, P.; Gamble, E.; Clark, M. |
| 16-Feb-2006 |
Validation database based thermal analysis of an advanced RPS concept |
Balint, Tibor S.; Emis, Nickolas |
| 12-Feb-2006 |
Validation database based thermal analysis of an advanced RPS concept. |
Balint, Tibor S.; Emis, Nickolas D. |
| 30-Jun-2003 |
Validation of a global ionospheric data assimilation model |
Wilson, B. D.; Hajj, G.; Wang, C.; Pi, X.; Rosen, G. |
| Jun-1999 |
Validation of Airborne Visible-Infrared Imaging Spectrometer Data at Ray Mine, AZ |
Lang, H.; Baloga, S. |
| 15-Dec-2008 |
Validation of AIRS retrievals of CO2 via comparison to in situ measurements |
Chahine, M. T.; Chen, L. L.; Jiang, X.; Yung, Y. L. |
| 29-Oct-2003 |
The validation of AIRS retrievals |
Fetzer, Eric J.; Olsen, Edward T.; Chen, Luke L.; Hagan, Denise E.; Fishbein, Evan; McMillin, Larry; Zhou, Jiang; McMillan, Wallace W. |
| 10-Nov-2011 |
Validation of AIRS V5 and Candidate V6 temperature profiles with GPS RO and water vapor skill score against Sonde data |
Wong, Sun; Dang, Van; Manning, Evan; Irion, Bill; Aumann, George; Wilson, Brian; Fetzer, Eric |
| 3-Aug-2003 |
Validation of AIRS/ AMSU / HSB retrieved products |
Fetzer, E. J.; Olsen, E.; Chen, L.; Hagan, D.; Irion, W. |
| Aug-2003 |
Validation of AIRS/AMSU/HSB retrieved products |
Fetzer, Eric J.; Olsen, Edward T.; Chen, Luke; Hagan, Denise |
|
