RD Group, Hitachi Ltd., Hitachi, Japan;
Tech. Univ. of Darmstadt, Darmstadt, Germany;
Tech. Univ. of Darmstadt, Darmstadt, Germany;
Tech. Univ. of Darmstadt, Darmstadt, Germany;
Tech. Univ. of Darmstadt, Darmstadt, Germany;
Mathematical model; Computational modeling; Safety; Brakes; Formal verification; Load modeling;
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:用于网络物理系统形式化建模和验证的混合自动机
机译:基于模型开发的网络物理系统的实用正式验证
机译:基于模型的网络体系系统的组成验证方法和工具开发
机译:网络物理系统中控制模块的正式验证
机译:一种通过形式化验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法