MODEX 相关硕士博士期刊学术论文 - 搜论网

MODEX相关论文

一种基于属性的操作系统内核自动验证方法

传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码......

期刊

操作系统模型检测 Spin Modex operating system model checking Spin Modex

基于CMX624芯片的超低功耗MODEM的设计

CMX624是CML公司新推出的可支持V23或Bell 202标准的MODEM芯片，文章介绍了CMX624芯片的特性和功能，给出基于该芯片的公用电话网（PSTN）......

期刊

CMX624芯片低功耗 MODEX 设计频移健控 FSK 调制解调器双音多频 DTMF

看过本文同时还关注