Model-checking Tool的意思|示意

美 / / 英 / /

模型检测工具

Model-checking Tool的网络常见释义

模型检测工具 Ps22Pdf 关键词 : 模型检测工具 ; 实时系统 ; 数据结构 ; 有限精度 ; 时间自动机 [gap=758]Key words: Model-checking Tool; Real-time Systems; Data Structure; Finite Precision; Timed Automata ..