81–100 von 572 Ergebnissen
|

    Verification of an axiomatic requirements specification

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

    A verification case study

    GANNON, C. | AIAA | 1977

    E-3A software maintenance

    FOX, L. | AIAA | 1977

    JTIDS - An update

    SMITH, E. | AIAA | 1977

    DAIS - Design and performance

    WEBER, J. / MASON, R. / RICH, B. | AIAA | 1977

    Testing embedded microprocessors - Space application requirements

    CARLAN, A. / CONSTANT, R. / LEKVEN, C. | AIAA | 1977

    Software acquisition techniques

    MARTIN, E. | AIAA | 1977

    Distributed processing techniques

    WOLFF, T. | AIAA | 1977

    Computer requirements for integrated system applications

    WEBER, J. / SCARPINO, F. | AIAA | 1977

    Emulation of embedded spacecraft computers

    DYKE, F. / STURM, W. | AIAA | 1977