101–150 von 572 Ergebnissen
|

    Digital avionics system for the Shuttle Training Aircraft

    KELLER, R. / LOWELL, N. / WILLIAMS, J. | AIAA | 1977

    Verification of an axiomatic requirements specification

    HAMILTON, M. / ZELDIN, S. | AIAA | 1977

    The communications aspects of the DABS transponder

    ROBECK, P. / WELCH, J. | AIAA | 1977

    A nuclear magnetic resonance gyroscope

    KANEGSBERG, E. | AIAA | 1977

    Remote terminal fault detection

    BRICKNER, D. / MCDONALD, A. | AIAA | 1977

    The evolution of real-time operational software testing

    OSBORN, L. / HANSON, J. | AIAA | 1977

    Manned simulation testing of digital avionic systems

    MATTINGLY, W. / ROLSTON, D. | AIAA | 1977

    Navy advanced sensor programs for fly-by-wire aircraft

    ABRAMS, C. / WEINSTEIN, W. / SOLOMON, R. | AIAA | 1977

    B-1 Central Integrated Test System /CITS/

    DERBYSHIRE, K. / PIERATT, D. | AIAA | 1977

    HOLDET - Higher order language evaluation tool

    SMITH, K. / JELINSKI, Z. | AIAA | 1977

    Management of embedded computer support facilities

    BABIAK, N. / PARRIOTT, JR., L. | AIAA | 1977

    Trends in aerospace computers

    CARBERRY, R. | AIAA | 1977

    A computer controlled aircraft collision avoidance system

    RICHARDSON, C. / COHEN, M. | AIAA | 1977

    New LSI products

    KORAL, W. | AIAA | 1977

    Abstraction-based reuse repositories

    CAMPBELL, JR., GRADY | AIAA | 1989

    Predicate/transition network analysis of redundant channel synchronization

    BARTON, L. / MULCARE, D. / DOWNING, L. et al. | AIAA | 1985

    Reasoning about software specifications - A case study

    WILD, CHRIS / CHEN, JI / ECKHARDT, DAVE | AIAA | 1989

    Modeling and analysis of multiprocessor architectures

    YALAMANCHILI, S. / CARPENTER, T. | AIAA | 1989

    A universal flowcharter

    HAREL, D. / NORVIG, P. / ROOD, J. et al. | AIAA | 1979

    Systems approach to software fault tolerance

    CAGLAYAN, A. / ECKHARDT, JR., D. | AIAA | 1985