...
机译:混合系统的模块化演绎验证方法
Hybrid systems; Modular deductive verification; Receptiveness;
机译:混合系统的模块化演绎验证方法
机译:应用于分布式系统的拆除性的可解锁性的模块性
机译:随机混合系统验证的计算方法
机译:结合细化验证和混合自动机的实时软件演绎可调度性验证方法
机译:基于优化的非线性和混合系统验证方法。
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:使用细化验证和混合自动机的实时软件的演绎性可调度性验证方法