Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2000-01-01


    Size :

    10 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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