标题 |
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification
BSV硬件自动转换为PVS形式逻辑的案例研究及后续验证
相关领域
计算机科学
翻译(生物学)
程序设计语言
化学
生物化学
信使核糖核酸
基因
|
网址 | |
DOI |
提醒:求助人提供的doi与AI识别不一致
10.1007/978-3-031-10363-6_5
Doi
|
求助人 | |
下载 | |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|