退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于EDGE的运行时验证物联网
Christos Tsigkanos; Marcello M. Bersani; Pantelis A. Frangoudis; Schahram Dustdar;
机译:事物互联网运行验证的民主化
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:面向物联网系统的运行时验证方法
机译:Internet的基于边缘的推理,控制和DoS弹性。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:Lotus @ Runtime:运行时监控和自适应系统验证的工具(工件)
机译:生成验证元数据并验证基于验证元数据的运行时类型
机译:生成验证元数据并基于验证元数据验证运行时类型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。