HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 tempura语言论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
时序电路的形式化证明第57-60页
关键词: 形式化验证  时序电路的验证  tempura语言  逻辑公式  时序电路  证明方法  硬件验证  表示电路  初始状态  公式  等式  规格  
2005年第20期 《现代电子技术》
期刊导航