论文研究时间自动机与信号自动机的互模拟算法 .pdf
时间自动机与信号自动机的互模拟算法，朱维军，，基于时间自动机的验证工具已被广泛应用于实时系统模型验证。信号自动机为一类实时系统建立了比时间自动机更适合的模型，但是它还
下载地址
用户评论
