系统级状态机相关硕士博士期刊学术论文 - 信丰网

系统级状态机相关论文

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范，但其可读性、可理解性差以及缺乏有效的自动测试工具．鉴于此，提出一种新的方法将支持面向对......

期刊

形式化方法形式化语言面向对象形式化规范系统级状态机自动测试 formal method formal language object-oriented

看过本文同时还关注