机译:模型检查实时价值传递系统
Laboratory for Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China;
model checking; real-time; value-passing; timed predicate μ-calculus;
机译:模型检查实时价值传递系统
机译:关于用于价值传递过程的一阶模态逻辑的可判定性和模型检查
机译:通过Java和具有参数模型检查功能的设计方法对具有实时约束的单总线系统进行建模
机译:并发价值传递系统的模型检查语言
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:并发价值传递系统的模型检查语言
机译:离散时间模型的实时符号模型检验