| 标题 |
 SeAL: A Provably Complete Fault-Injection Tool for Asynchronous Circuits 相关领域
计算机科学
异步通信
稳健性（进化）
模块化设计
形式等价性检查
模型检查
形式验证
容错
数字电子学
分布式计算
断层模型
时序逻辑
异步电路
故障注入
形式化方法
嵌入式系统
故障检测与隔离
计算机工程
等价（形式语言）
陷入故障
静态时序分析
正式规范
计算机体系结构
形式证明
软件容错
断层（地质）
可靠性工程
理论计算机科学
|
| 网址 | |
| DOI | |
| 其它 |
期刊： 作者：Raghda El Shehaby; Matthias Függer; Florian Huemer; Andreas Steininger 出版日期：2025-11-17 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
Nole
lucky
Essence
sanvva
乐空思
OK
GingerF
小小牛马
张欢馨
yjh123
vampv
Anonymous
nn
核桃
sagitar
好运偏爱
失眠翠芙
大气世平
冰海战记
榴莲嘎嘎
皖公网安备34019202002308
