Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Epistemology, Software Engineering, and Formal Methods



    Kongress:

    Workshop entitled "The role of computers in LARC R&D", Role of computers in research and development at Langley Research Center ; 1994 ; Hampton; VA



    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    26 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal methods in software engineering

    Hird, G.R. | Tema Archiv | 1990



    Formal Methods for Life-Critical Software

    Butler, R. / Johnson, S. / AIAA | British Library Conference Proceedings | 1993


    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 1993