Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Model-checking Approach for HDL Descriptions Using Data Dependency Analysis


    Beteiligte:
    Waseem, Muhammad (Autor:in) / Omer, Mohammed (Autor:in)

    Kongress:

    Infotech@Aerospace 2012



    Erscheinungsdatum :

    01.01.2012




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    2012-2609 A Model-Checking Approach for HDL Descriptions Using Data Dependency Analysis

    Waseem, M. / Omer, M. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2012


    Efficiently Checking the Determinism of AL Action Descriptions

    Balduccini, Marcello / Gelfond, Michael | AIAA | 2005




    Model Checking

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