退出
我的积分:
中文文献批量获取
外文文献批量获取
钱振江; 唐洪英; 李康杰; 黄皓; 宋方敏;
1. 常熟理工学院计算机科学与工程学院 2. 南京大学软件新技术国家重点实验室 3. 南京大学计算机科学与技术系 4. 伦敦大学国王学院;
文件系统; 微内核架构; 形式化设计; 形式化验证; 正确性断言; Isabelle/HOL;
机译:使用Monterey Phoenix形式化和验证随机系统架构
机译:大规模文件系统设计与架构
机译:设计模式的形式化及其在PLC软件中进行架构评估的自动识别
机译:VTOS:微内核操作系统“轻量级”形式化设计和验证方法论的研究
机译:用于Internet服务器的高性能I / O架构和文件系统。
机译:重新设计医院处方表的选择架构:结合原位模拟测试的混合方法研究
机译:集成的形式化方法工具链及其在验证文件系统模型中的应用
机译:虚拟文件系统的形式化规范与分析
机译:使用形式化技术对交换网络逻辑进行设计验证
机译:使用形式化技术进行设计验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。