关于电梯的简单NuSMV模型
基于NuSMV语言描述三层电梯的行为，并对相关性质进行模型检测。是一个模型检测应用的简单例子。
2019-12-21 22:00:37 4KB 电梯，NuSMV
1

个人信息

下载历史

热门下载

最新下载

其他资源

共 1 条 上一页 1 下一页 共 1 条