Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The Role of Formal Methods in Hardware Design Assurance


    Beteiligte:

    Kongress:

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



    Erscheinungsdatum :

    01.01.2004


    Format / Umfang :

    6C2



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    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