Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Corrections to "Use of Idempotent Matrices to Validate Linear Systems Software"


    Beteiligte:
    Kerr, T.H. (Autor:in)


    Erscheinungsdatum :

    1995



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    53.70 Nachrichtentechnik, Kommunikationstechnik: Allgemeines / 55.64 Raumfahrzeugführung / 55.54 Flugführung




    Idempotent or nilpotent?

    Rowlands, Peter | American Institute of Physics | 2018



    Use of Models to Verify and Validate Requirements for Critical Software

    Kvinnesland, K. / Torget, O. / European Space Agency | British Library Conference Proceedings | 2009