Titlebook: Models, Methods, and Tools for Complex Chip Design; Selected Contributio Jan Haase Conference proceedings 2014 Springer International Publi

Jaundice

书目名称Models, Methods, and Tools for Complex Chip Design影响因子(影响力)




书目名称Models, Methods, and Tools for Complex Chip Design影响因子(影响力)学科排名




书目名称Models, Methods, and Tools for Complex Chip Design网络公开度




书目名称Models, Methods, and Tools for Complex Chip Design网络公开度学科排名




书目名称Models, Methods, and Tools for Complex Chip Design被引频次




书目名称Models, Methods, and Tools for Complex Chip Design被引频次学科排名




书目名称Models, Methods, and Tools for Complex Chip Design年度引用




书目名称Models, Methods, and Tools for Complex Chip Design年度引用学科排名




书目名称Models, Methods, and Tools for Complex Chip Design读者反馈




书目名称Models, Methods, and Tools for Complex Chip Design读者反馈学科排名

Laconic

https://doi.org/10.1007/978-3-319-01418-0Automatic Synthesis; Design Specification Languages; Design Verification; Embedded Systems; FDL 2012; Mec

使熄灭

Bravado

Models, Methods, and Tools for Complex Chip Design978-3-319-01418-0Series ISSN 1876-1100 Series E-ISSN 1876-1119

高贵领导

Jan HaaseCovers Assertion Based Design, Verification & Debug.Includes language-based modeling and design techniques for embedded systems.Covers design, modeling and verification of mixed physical domain and mi

Density

逃避现实

动物

minion

运动的我

Conference proceedings 2014emination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.