Department of Computing Science, University of Oldenburg, 26111 Oldenburg, Germany;
model checking; real-time systems; mobile systems; spatial logic; temporal logic; duration calculus;
机译:公共交通系统中车辆运动的时空模型检验
机译:QUANTICOL中的集体自适应系统的时空模型检查
机译:通过Java和具有参数模型检查功能的设计方法对具有实时约束的单总线系统进行建模
机译:移动实时系统的时空模型检查
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:一种利用多尺度时空元模型检验验证生物系统多级计算模型的新方法。
机译:离散时间模型的实时符号模型检验