University of California, Los Angeles.;
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:用于测试和验证网络物理系统的正式要求调试
机译:验证移动网络物理系统中参数化协议的形式化方法
机译:对嵌入式系统正式建模和验证方法和工具的比较分析。 概率方法
机译:离散时间系统的形式验证和控制器综合。
机译:网络物理系统中控制模块的正式验证
机译:基于MQTT / MQTT-SN的自动化需求响应的用户能量管理系统:正式验证和网络物理性能评估