NuSMV的电梯程序

时间：2016-05-30 16:28:41
【文件属性】：

文件名称：NuSMV的电梯程序

文件大小：6KB

文件格式：SMV

更新时间：2016-05-30 16:28:41

NuSMV

这是一个描述三层楼中电梯运行情况的基于NuSMV的程序

立即下载

网友评论

  • 别下载了，一堆问题。
  • 可供参考，适合初学者
  • 比较简单~~
  • 起到了参考的作用，但是待验证的属性表达不正确

相关文章