Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Second NASA Formal Methods Workshop 1992


    Beteiligte:
    S. C. Johnson (Autor:in) / C. M. Holloway (Autor:in) / R. W. Butler (Autor:in)

    Erscheinungsdatum :

    1992


    Format / Umfang :

    232 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    The Second NASA Formal Methods Workshop 1992

    Johnson, Sally C. / Holloway, C. Michael / Butler, Ricky W. | NTRS | 1992


    NASA Formal Methods Workshop, 1990

    R. W. Butler | NTIS | 1990


    NASA Formal Methods Workshop, 1990

    Butler, Ricky W. | NTRS | 1990



    Fourth NASA Langley Formal Methods Workshop

    C. M. Holloway / K. J. C. Hayhurst | NTIS | 1997