Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Integration of Formal Methods into System Safety and Reliability Analysis


    Beteiligte:

    Kongress:

    17th, International system safety conference ; 1999 ; Orlando, FL



    Erscheinungsdatum :

    01.01.1999


    Format / Umfang :

    11 pages


    Anmerkungen:

    Theme title: System safety at the dawn of the new millennium


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Integrating Safety into MBSE Processes with Formal Methods

    Ahlbrecht, Alexander / Durak, Umut | IEEE | 2021


    Development of a Formal Safety Assessment System for Integration into the Lifeboat Design Process

    Sen, P. / Birmingham, R. / Cain, C. et al. | British Library Conference Proceedings | 1998



    System Integration & Validation with Formal Methods in ATC Applications

    Prun, D. / Gonon, M. / EUROSPACE et al. | British Library Conference Proceedings | 2000


    Tutorial on Formal Safety Analysis

    Ladkin, P. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006