Atmospheric modeling; Engines; Mathematical model; Measurement; Probability; Robustness; Stochastic processes;
机译:网络物理系统中的在线验证:有意义的时间成本的实际界限
机译:在网络物理系统的基于模型的设计中挖掘参数时态逻辑属性
机译:用于测试和验证网络物理系统的正式要求调试
机译:具有稳健性导向的时断网络物理系统的核心逻辑测试和验证
机译:虚拟网络物理系统测试平台,用于网络入侵检测和预防系统验证
机译:网络物理系统中控制模块的正式验证
机译:使用屏障证书的随机系统的时间逻辑验证