计算技术与计算机

导出

摘要 1710 计算技术与计算机科学Y2002-63059-189 0211319有限状态机设计验证与功能测试=Design verificationand functional testing of finite state machines〔会,英〕/

出处《电子科技文摘》 2002年第6期90-92,共3页 Sci.& Tech.Abstract

关键词计算技术计算机科学功能测试有限状态机设计验证 MACHINES 信息可视化图形变换粗糙集信念修正

1方明科,缪淮扣.一种用于模型验证的Web应用模型抽取方法[J].应用科学学报,2009,27(1):90-96. 被引量：1
2刘新颖.电原理图审查[J].电子科技,2014,27(1):142-146.
3老松杨,白亮,刘海涛,Alan F Smeaton.基于感知概念和有限状态机的体育视频语义内容分析模型[J].小型微型计算机系统,2009,30(6):1137-1141. 被引量：1
4毋国庆,朱立松,王敏,蔡持峰,陈伟清.嵌入式实时系统的软件需求检测[J].软件学报,2002,13(5):994-1002. 被引量：5
5王乐春,朱培栋,龚正虎.基于RFSM的健壮性测试技术研究[J].通信学报,2005,26(9):21-29. 被引量：2

电子科技文摘

2002年第6期

浏览历史

内容加载中请稍等...