Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification of System Architectures Using Modal Logics and Formal Model Checking Techniques


    Contributors:
    Zaidi, A. K. (author) / Levis, A. H. (author)

    Conference:

    4th, Conference on systems engineering research ; 2006 ; Los Angeles, Calif



    Publication date :

    2006-01-01


    Size :

    2.2.1


    Remarks:

    Held on CD-ROM.; Shelved in Conference Index


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal verification of layered sensing architectures

    Tyler, B / Langdon, A / Chawla, P | IEEE | 2010


    Formal Verification for Fault-Tolerant Architectures/PVS Design

    Rushby, J. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995



    Formal Verification of Safety Architectures for Automated Driving

    Eberhart, Clovis / Dubut, Jeremy / Haydon, James et al. | IEEE | 2023