Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2012-01-01


    Size :

    6 pages


    Remarks:

    Includes bibliographical references and index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    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