先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
会议名
22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2019)
中译名
《第二十二届电路和系统建模和验证方法及说明研讨会》
机构
Verband der Elektrotechnik Elektronik Informationstechnik e.V. (VDE)
会议日期
8-9 April 2019
会议地点
Kaiserslautern, Germany
出版年
2019
馆藏号
hyw07405
题名
作者
出版年
fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability (extended abstract)
Tobias Seufert; Christoph Scholl
2019
ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization
Michael Schwarz; Dominik Stoffel; Wolfgang Kunz
2019
Inductive Proof Rules Beyond Safety Properties
Martin Kohler; Klaus Schneider
2019
Approximation of Neural Networks for Verification
Fin Hendrik Bahnsen; Goerschwin Fey
2019
Self-Explaining Digital Systems - Some Technical Steps
Goerschwin Fey; Rolf Drechsler
2019
Measuring NoC fault tolerance with performability
Jie Hou; Martin Radetzki
2019
Analyse sicherheitskritischer Software fur RISC-V Prozessoren
Peer Adelt; Bastian Koppelmann; Wolfgang Mueller; Christoph Scheytt
2019
Logical Analysis of Distributed Systems: The Importance of Being Constructive
Michael Mendler
2019
Optimization Framework for Hardware Design of Engine Control Units
Iryna Kmitina; Nico Bannow; Christoph Grimm; Daniel Zielinski; Carna Zivkovic
2019
Logic Optimization of Majority-Inverter Graphs
Heinz Riener; Eleonora Testa; Winston Haaswijk; Alan Mishchenko; Luca Amaru; Giovanni De Micheli; Mathias Soeken
2019
How to Keep 4-Eyes Principle in a Design and Property Generation Flow
Keerthikumara Devarajegowda; Wolfgang Ecker; Wolfgang Kunz
2019
Automated Sensor Firmware Development - Generation, Optimization, and Analysis
Jens Rudolf; Manuel Strobel; Joscha Benz; Christian Haubelt; Martin Radetzki; Oliver Bringmann
2019
SEMAS - System Engineering Methodology for Automated Systems | The world described in layers
Markus Hedderich; Markus Heimberger; Axel Klekamp
2019
Ein Ansatz fur die agile, verteilte Entwicklung Cyber-Physischer "Systems of Systems" (Work in Progress)
Christoph Grimm; Frank Wawrzik; Carna Zivkovic
2019
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Mohammad Rahmani Fadiheh; Dominik Stoffel; Clark Barrett; Subhasish Mitra; Wolfgang Kunz
2019
Model-Based Configuration of a Coarse-Grained Reconfigurable Architecture
Jens Frommer; Nico Bannow; Axel Aue; Christoph Grimm; Klaus Schneider
2019
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024