| 书目名称 | Languages, Design Methods, and Tools for Electronic System Design | | 副标题 | Selected Contributio | | 编辑 | Frank Oppenheimer,Julio Luis Medina Pasaje | | 视频video | | | 概述 | Covers 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 | | 丛书名称 | Lecture Notes in Electrical Engineering | | 图书封面 |  | | 描述 | This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination 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. | | 出版日期 | Book 2016 | | 关键词 | Automatic Synthesis; Design Specification Languages; Design Verification; Embedded Systems; FDL 2014; Mec | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-24457-0 | | isbn_softcover | 978-3-319-79631-4 | | isbn_ebook | 978-3-319-24457-0Series ISSN 1876-1100 Series E-ISSN 1876-1119 | | issn_series | 1876-1100 | | copyright | Springer International Publishing AG, part of Springer Nature 2016 |
The information of publication is updating
书目名称Languages, Design Methods, and Tools for Electronic System Design影响因子(影响力)
书目名称Languages, Design Methods, and Tools for Electronic System Design影响因子(影响力)学科排名
书目名称Languages, Design Methods, and Tools for Electronic System Design网络公开度
书目名称Languages, Design Methods, and Tools for Electronic System Design网络公开度学科排名
书目名称Languages, Design Methods, and Tools for Electronic System Design被引频次
书目名称Languages, Design Methods, and Tools for Electronic System Design被引频次学科排名
书目名称Languages, Design Methods, and Tools for Electronic System Design年度引用
书目名称Languages, Design Methods, and Tools for Electronic System Design年度引用学科排名
书目名称Languages, Design Methods, and Tools for Electronic System Design读者反馈
书目名称Languages, Design Methods, and Tools for Electronic System Design读者反馈学科排名
|
|
|
发表于 2025-3-21 20:01:53
