Data integrity; Business; Runtime; Motorcycles; Data mining; Process control; Databases;
机译:具有高质量跟踪数据的多核SoC的运行时验证
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:无线医疗网络物理系统的以数据为中心的运行时验证
机译:朝向数据质量运行时验证
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具