Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A time-oriented language for the writing of procedures to sequence the operation of a spacecraft and its systems


    Beteiligte:
    EYLES, DON (Autor:in)

    Kongress:

    8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.



    Erscheinungsdatum :

    1991-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Problem-oriented systems technique in spacecraft

    Kucherov, A.S. / Kurenkov, V.I. | British Library Conference Proceedings | 2012




    Static Verification of Spacecraft Procedures

    Connors, E. / Munoz, C. / Schnur, C. et al. | British Library Conference Proceedings | 2009