机译:基于合同的网络物理系统分层弹性管理
机译:一种新的多成分离散可积层次和多成分立方Volterra可积层次及其耦合系统
机译:一种基于STAMP的复杂安全控制系统的分层验证方法
机译:基于合同的组件分层系统验证
机译:从MetroII到Metronomy,设计用于网络物理系统时序验证的基于合同的功能-架构协同仿真框架。
机译:基于智能合约的物联网数据市场审查系统
机译:基于合同的航空电子系统中复杂的时变行为验证
机译:从metroII到metronomy,设计基于合同的功能 - 架构协同仿真框架,用于网络物理系统的时序验证。