Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric

Tahar S; Curzon P

首页> 外文期刊>Nordic journal of computing >Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric

【24h】

Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric

机译：比较HOL和MDG：以ATM交换结构验证为例

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Nordic journal of computing 》 |1999年第4期| 共31页
作者
Tahar S; Curzon P;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术 ;
关键词

相似文献

外文文献
中文文献
专利

1. Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric [J] . Tahar S, Curzon P Nordic journal of computing . 1999 ,第4期

机译：比较HOL和MDG：以ATM交换结构验证为例
2. A prospective, randomized, double-blinded, split-face pilot study comparing Q-switched 1064-nm Nd:YAG versus 532-nm Nd:YAG laser for the treatment of solar lentigines [J] . Bohnert Krista, Dorizas Andrew, Sadick Neil Journal of cosmetic and laser therapy . 2018 ,第7a8期

机译：Q-Switched 1064-NM ND：YAG与532-NM ND：YAG激光器进行太阳韵律的前瞻性，随机，双盲的分裂脸试验研究比较：YAG激光器
3. Frequency of Treatment Switching for Spironolactone Compared to Oral Tetracycline-Class Antibiotics for Women With Acne: A Retrospective Cohort Study 2010-2016 [J] . Barbieri John S., Choi Juliana K., Mitra Nandita, Journal of drugs in dermatology: JDD . 2018 ,第6期

机译：螺旋酮的治疗频率与痤疮的女性口服四环素类抗生素相比：2010-2016的回顾性队列研究
4. Three Approaches to Hardware Verification: HOL, MDG and VIS Compared [C] . Sofiene Tahar, Paul Curzon, Jianping Lu International conference on formal methods in Computer-Aided design . 1998

机译：硬件验证的三种方法：HOL，MDG和VI
5. The verification of MDG algorithms in the HOL theorem prover [D] . Abed, Sa'ed Rasmi H. 2008

机译：HOL定理证明者中MDG算法的验证
6. Adjusting for treatment switching in the METRIC study shows further improved overall survival with trametinib compared with chemotherapy [O] . Nicholas R. Latimer, Helen Bell, Keith R. Abrams, 2016

机译：在METRIC研究中调整治疗切换显示与化疗相比曲美替尼可进一步提高总体生存率
7. Three Approaches to Hardware Verification: HOL, MDG and VIS Compared [O] . Sofiene Tahar, Paul Curzon, Jianping Lu 2008

机译：硬件验证的三种方法：HOL，mDG和VIs比较

Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric

著录项

相似文献

相关主题

期刊订阅