1–5 von 5 Ergebnissen
|

    Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified

    Smith, Margaret H. / Holzmann, Gerard J. / Cucullu, Gordon C., III et al. | NTRS | 2005

    A design-diversity based fault-tolerant COTS avionics bus network

    Chau, S. N. / Tai, A. T. / Smith, J. | NTRS | 2001

    The Advanced Technology Operations System: ATOS

    Kaufeler, J.-F. / Laue, H. A. / Poulter, K. et al. | NTRS | 1993

    An Operations Concept for Integrated Model-Centric Engineering at JPL

    Bayer, Todd J. / Cooney, Lauren A. / Delp, Christopher L. et al. | NTRS | 2010

    A fault-tolerant multiprocessor architecture for aircraft, volume 1

    Smith, T. B. / Hopkins, A. L. / Taylor, W. et al. | NTRS | 1978