Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal methods for life-critical software


    Beteiligte:
    Butler, Ricky (Autor:in) / Johnson, Sally (Autor:in)

    Kongress:

    9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.



    Erscheinungsdatum :

    01.01.1993



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Formal Methods for Life-Critical Software

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


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005


    Formal methods in software engineering

    Hird, G.R. | Tema Archiv | 1990


    Formal Specification of Software Critical Systems with Agents

    Coriat, M. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1995