| 书目名称 | Languages, Design Methods, and Tools for Electronic System Design | | 副标题 | Selected Contributio | | 编辑 | Tom J. Kazmierski,Sebastian Steinhorst,Daniel Groß | | 视频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 mi | | 丛书名称 | Lecture Notes in Electrical Engineering | | 图书封面 |  | | 描述 | .This book brings together a selection of the best papers from the twenty-first edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, 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..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 mixed signal systems that include significant analog parts in electrical and non-electrical domains;.Includes formal and semi-formal system level design methods for complex embeddedsystems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).. | | 出版日期 | Book 2020 | | 关键词 | Design Specification Languages; Design Verification; Automatic Synthesis; Mechanized Debugging; Rapid Pr | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-31585-6 | | isbn_softcover | 978-3-030-31587-0 | | isbn_ebook | 978-3-030-31585-6Series ISSN 1876-1100 Series E-ISSN 1876-1119 | | issn_series | 1876-1100 | | copyright | Springer Nature Switzerland AG 2020 |
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 18:30:06
