Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

    Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA



    Erscheinungsdatum :

    01.01.2012


    Format / Umfang :

    6 pages


    Anmerkungen:

    Includes bibliographical references and index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Nr. 2609

    DataCite | 1895



    AIAA-2005-2609 Modular, Intelligent Power Systems for Multiple Space Exploration Missions

    Button, R. / Soeder, J. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2005


    An Efficient Planning Process for Galileo Service Operations (AIAA 2018-2609)

    Carandente, Valerio / Doeglas, Gijs / Gorgojo, Raul Cadenas et al. | British Library Conference Proceedings | 2018