Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Orpheus: A Self-Checking Translation Tool Arrangement for Flight Critical Hardware


    Beteiligte:

    Kongress:

    5th, Langley formal methods workshop; Lfm2000 ; 2000 ; Williamsburg, VA



    Erscheinungsdatum :

    2000-01-01


    Format / Umfang :

    10 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Orpheus

    Engineering Index Backfile | 1959


    Orpheus

    Wheeler, A.H. | Engineering Index Backfile | 1959


    Progress with Orpheus

    Engineering Index Backfile | 1957


    Type approval for Orpheus

    Engineering Index Backfile | 1955