1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 时间自动机与信号自动机的互模拟算法 .pdf

论文研究 时间自动机与信号自动机的互模拟算法 .pdf

上传者: 2020-07-19 02:47:07上传 PDF文件 365.76KB 热度 18次
时间自动机与信号自动机的互模拟算法,朱维军,,基于时间自动机的验证工具已被广泛应用于实时系统模型验证。信号自动机为一类实时系统建立了比时间自动机更适合的模型,但是它还
下载地址
用户评论