2016年3月13日
PRISM概率模型检测器初使用（2）--嵌入式控制系统模型
摘要：  PRISM—probabilistic model checker概率模型检测器 嵌入式控制系统模型 Theembedded control system http://www.prismmodelchecker.org/casestudies/embedded.php 与连续时... 阅读全文
posted @ 2016-03-13 22:34 sriting 阅读(770) 评论(0) 推荐(0) 编辑