Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The role of formal methods in hardware design assurance - [Not available for publication]


    Contributors:
    Miner, P. (author)


    Publication date :

    2004-01-01


    Size :

    13204 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    The Role of Formal Methods in Hardware Design Assurance

    Miner, P. / IEEE / AIAA | British Library Conference Proceedings | 2004


    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