Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Miner, P. (Autor:in)


    Erscheinungsdatum :

    01.01.2004


    Format / Umfang :

    13204 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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 Archiv | 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