2012-2609 A Model-Checking Approach for HDL Descriptions Using Data Dependency Analysis
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
2012-01-01
6 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DataCite | 1895
Near East/North Africa Report, No. 2609
NTIS | 1982
AIAA-2005-2609 Modular, Intelligent Power Systems for Multiple Space Exploration Missions
British Library Conference Proceedings | 2005
|An Efficient Planning Process for Galileo Service Operations (AIAA 2018-2609)
British Library Conference Proceedings | 2018
|