退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
Nassar, Ahmed Mohamed Ahmed Mohamed.;
University of California, Irvine.;
机译:JCML:一种用于Java Card程序的运行时验证的规范语言
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:工具辅助的规范和验证的低级语言
机译:分布式系统中LTL规范的分散运行时验证
机译:多核体系结构上的多语言多运行时系统的内存管理。
机译:嵌入式实时系统的运行时验证
机译:通过Transpiler转换的源语言和语言之间的通用运行时验证系统
机译:通过Transpiler转换的源语言和语言之间的Transpiler源通用运行时验证系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。