Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Integration of Formal Methods into System Safety and Reliability Analysis



    Conference:

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



    Publication date :

    1999-01-01


    Size :

    11 pages


    Remarks:

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


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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