...
机译:使用时间描述逻辑对静态结构和动态行为进行集成模型检查
机译:平面结构上的模型检查计数时间逻辑
机译:平面结构上的模型检查计数时间逻辑
机译:时间逻辑模型检查中BDD和其他数据结构的大小
机译:基于描述逻辑的定性语义时空推理,用于对卫星图像中时空对象的动力学建模
机译:具有多个电极的MEMS可变形微结构的静态和动态行为的建模和测试。
机译:使用统一的结构方程模型在社交互动中映射时间动态:描述和演示揭示了游戏行为中随时间变化的性别差异
机译:在时间逻辑模型检查中BDDS和其他数据结构的大小
机译:具有公平约束的petri网线性时态逻辑性质模型检验。