...
机译:使用屏障功能的分布式参数系统的安全验证
Institute for Computational Engineering and Sciences (ICES) University of Texas at Austin;
Laboratoire des Signaux et Systèmes CentraleSupélec CNRS Univ. Paris-Sud Université Paris-Saclay;
Department of Engineering Science University of Oxford;
Safety verification; Barrier certificates; Sum-of-Squares programming; Distributed parameter systems;
机译:使用屏障功能的分布式参数系统的安全验证
机译:验证分布式控制和保护系统的安全完整性级别中的安全性方面
机译:通过屏障证书的数据驱动安全验证随机系统
机译:MontiBelle-用于基于模型的开发和验证分布式关键系统以符合功能安全性的工具箱
机译:传感器网络工作台:进行功能规范,约束分布式系统的验证和部署。
机译:分布式执行系统中的电动静液压执行机构的设计分析和验证
机译:使用屏障功能对分布式参数系统进行安全验证
机译:功能分布式计算机系统开发研究。第一卷功能分布式计算机系统开发项目报告;软件与系统结构。第2部分