Component-based development; Hybrid systems; Formal verification;
机译:用于混合系统组件验证的战术合同组成
机译:COQ中的混合形式验证系统,可确保基于国内服务智能合同的可靠性和安全性
机译:通过带延误的Petri网验证带延误的膜系统
机译:混合系统组件验证的变更和延迟合同
机译:两类动力系统的稳定性分析:通用混合动力系统和带时滞的神经网络
机译:相互交换1型和F1C菌毛的次要成分会导致杂合细胞器的受体特异性发生变化。
机译:基于合同的组件分层系统验证
机译:使用pOm验证器在延迟不敏感和延迟约束的VLsI系统的自动验证期间控制状态爆炸