电子系统设计网 - 会员登陆

首页| 我的主页| 登录| 现在注册 [2008年11月21日]

用户登录

模型校验技术在嵌入式系统验证中的应用

近十年以来，计算机科学研究的进步大大推动了需求和设计验证工具和技术的发展，其中最成功的技术当属模型校验。模型验证与规范化建模语言的紧密结合，极大地推动了验证自动化的发展。本文介绍了模型校验的原理及工作方式。

请登陆网站阅读全文>>

还未注册？

现在免费注册，您即可：

电子信箱：

密码：

登录密码区分大小写

记住我的密码忘记密码？

	最新信息
ECI电信选用PMC-Sierra无线回程传输架构提供光纤接入平台(2008-11-21) 看好消费电子出货总量，卓然宣布中长期产品规划(2008-11-21) Cree推出新一代高亮度蓝、绿和红色4mm和5mm椭圆形LED(2008-11-21) 凌力尔特新款纤巧和高压的LDO LT3008具有3uA IQ(2008-11-21) 合众达推出DM357达芬奇视频开发模块SEED-DVS357(2008-11-21) 哪些产品可以顺利通过阿拉伯联合酋长国产品测试要求？(2008-11-21) 仅在带负载状态下供电的智能电源参考设计方案(2008-11-21) CREE尖端技术照亮北京奥林匹克水立方和鸟巢(2008-11-21)

精品设计专栏赏析

Penton

论坛实力派擂台赛

eMedia:	电子工程专辑 \| 手持电子设备 \| 家庭娱乐系统 \| 工业控制 \| 汽车电子设计 \| 电源系统 \| 模拟混合信号 \| 国际电子商情
环球资源:	环球资源企业网 \| 世界经理人 \| 人才资源 \| Electronic Components \| Computer Products \| China Sourcing Fairs