论文研究一种基于失败语义和迹语义的LTS模型到FSM模型的转换方法 .pdf 上传者：CSDN阿坤 2019-09-23 05:36:44上传 PDF文件 364.43KB 热度 51次 一种基于失败语义和迹语义的LTS模型到FSM模型的转换方法，卢慧，，本文提出一种从给定LOTOS规范推导有限测试套的新方法：即在迹语义和失败语义的基础上，将LTS转换成带I/O的有限状态机FSM；然后利用现� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
