机译:通过models@run.time进行分布式图形查询,以监视网络物理系统
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:使用ISO 26262功能安全标准作为汽车嵌入式系统的运行时验证监视,以定义受监视属性
机译:用于网络物理系统运行时监视的分布式图查询
机译:分布式入侵检测/预防系统设计与实施智能电网中的安全SCADA通信
机译:在分布式数据网络新上市的药物的主动安全监测:半自动化监控系统的应用
机译:通过Models@run.time进行网络 - 物理系统运行时监控的分布式图