DTU Informatics, Technical University of Denmark, DK-2800 Lyngby, Denmark;
DTU Informatics, Technical University of Denmark, DK-2800 Lyngby, Denmark;
DTU Informatics, Technical University of Denmark, DK-2800 Lyngby, Denmark;
机译:具有顺序释放功能的联锁系统的正式建模和验证
机译:基于细化验证理论的混合模型嵌入式系统的正式发展方法
机译:基于细化验证理论的混合模型嵌入式系统的正式发展方法
机译:用于自动建模工具的正式开发和继电器互锁系统的验证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:正式开发自动建模和验证继电器联锁系统的工具