The University of Manchester (United Kingdom).;
机译:使用动态线性混合自动机对动态可重构系统进行规范和验证
机译:混合动力系统的多奇异混合Petri网建模与验证
机译:仿射约束动力学的正不变性及其在混合系统和安全性验证中的应用
机译:连续和混合动力系统中生命特性的直接形式验证
机译:用于建模和验证混合动力系统的工具的比较
机译:甲基丙烯酸酯/硅烷杂化单体体系的发展:光聚合行为与动态力学性能之间的关系
机译:直接形式验证连续和混合动力系统中的活跃性