首页> 外文OA文献 >Formal Analysis and Verification of an OFDM Modem Design using HOL

【2h】

Formal Analysis and Verification of an OFDM Modem Design using HOL

机译：使用HOL的OFDM调制解调器设计的形式分析和验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Abu Nasser; M. Abdullah; Behzad Akbarpour; Sofiène Tahar;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal verification of robotic cell injection systems up to 4-DOF using HOL Light [J] . Rashid Adnan, Hasan Osman Formal Aspects of Computing . 2020,第2a3期

机译：使用Hol Light的机器人电池注入系统的正式验证最多4-DOF
2. Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL [J] . Filip Maric Theoretical computer science . 2010,第50期

机译：浅层嵌入Isabelle / HOL形式的现代SAT求解器的形式验证
3. Formal verification of tail distribution bounds in the HOL theorem prover [J] . Hasan O, Tahar S Mathematical Methods in the Applied Sciences . 2009,第4期

机译：HOL定理证明者中尾部分布范围的形式验证
4. Formal Analysis and Verification of an OFDM Modem Design using HOL [C] . Abu Nasser M. Abdullah, Behzad Akbarpour, Sofiene Tahar International Conference on Formal Methods in Computer Aided Design . 2006

机译：使用HOL的OFDM调制解调器设计的正式分析与验证
5. Formal analysis and verification of an OFDM modem design. [D] . Mohammed Abdullah, Abu Nasser. 2006

机译：OFDM调制解调器设计的形式分析和验证。
6. Design and analysis of UW-OFDM signals [O] . Mario Huemer, Christian Hofbauer, Alexander Onic, -1

机译：UW-OFDM信号的设计与分析
7. Formal analysis and verification of an OFDM modem design [O] . Abdullah Abu Nasser Mohammed 2006

机译：OFDM调制解调器设计的形式分析和验证
8. HOL2GDT a Formal Verification-Based Design Methodology [R] . Chavan, A. , Woo Min, B. , Chin, S. 2001

机译：HOL2GDT基于形式验证的设计方法

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号