机译:事物互联网运行验证的民主化
Ozyegin Univ Dept Comp Sci TR-34794 Istanbul Turkey;
Ozyegin Univ Dept Comp Sci TR-34794 Istanbul Turkey;
Internet of things; Model-based testing; Runtime verification; Complex-event processing; Model-to-text transformation; Edge computing;
机译:事物互联网运行验证的民主化
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:面向物联网系统的运行时验证方法
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:基于EDGE的运行时验证物联网