University of Kaiserslautern, Department of Computer Science, Germany;
University of Kaiserslautern, Department of Computer Science, Germany;
University of Kaiserslautern, Department of Computer Science, Germany;
机译:基于混合接口自动机的网络物理系统建模与检查
机译:通过有界模型检查来检查离散定时自动机的MTL属性
机译:患者控制镇痛随机混合自动机统计模型检查的效用
机译:Hybrid自动机的性能驱动三维模型检查
机译:算法代数模型检查:混合自动机和系统生物学。
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:ω-automata模型检查阶梯式线性混合模型的抽象和强调引导施工