Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The Role of Formal Methods in Hardware Design Assurance


    Contributors:

    Conference:

    Conference; 23RD, Digital avionics systems:; Avionics systems: transitioning to the next generation ; 2004 ; Salt Lake City, UT



    Publication date :

    2004-01-01


    Size :

    6C2



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Using formal methods for quality assurance of interlocking systems

    Eriksson, L.H. / Johansson, K. | Tema Archive | 1998


    Using formal methods for quality assurance of interlocking systems

    Eriksson, L.-H. / Johansson, K. / Wessex Institute of Technology | British Library Conference Proceedings | 1998



    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    Bhattacharyya, Siddhartha / Eskridge, Thomas / Neogi, Natasha et al. | NTRS | 2017