退出
我的积分:
中文文献批量获取
外文文献批量获取
钱振江; 黄皓; 宋方敏;
南京大学计算机科学与技术系;
江苏南京210023;
常熟理工学院计算机科学与工程学院;
江苏苏州215500;
King's College London;
London WC2R 2LS;
UK;
操作系统; 正确性验证; 形式化方法; 系统状态模型;
机译:基于状态转换表示转换的软硬件协同设计形式化验证方法
机译:一种基于状态转换表示转换的硬件/软件协同设计的形式化验证方法
机译:集成编程和操作系统的设计,第二部分:汇编程序及其语言
机译:VTOS:微内核操作系统“轻量级”形式化设计和验证方法论的研究
机译:基于形式化方法的移动操作系统安全体系结构设计与分析
机译:一种人机交互系统的形式化验证方法
机译:设计中的验证方法:操作系统案例研究
机译:工作单位72312501(71844501)“高级操作系统中的加速性能”1985 - 2000年发布的技术论文汇编
机译:具有多优先级命令队列的计算机系统设计中的命令处理验证方法
机译:操作系统运行状态验证系统,检查目标设备,操作系统运行状态验证设备,操作系统运行状态验证方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。