退出
我的积分:
中文文献批量获取
外文文献批量获取
杨龙婴; 郭宇;
中国科学技术大学计算机科学与技术学院,合肥230026;
中国科学技术大学苏州研究院软件安全实验室,江苏苏州215123;
形式化验证; Coq证明工具; 闪存设备; 形式化建模; 高可信软件; 存储系统;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:基于矩阵形式化计算散热装置的矩阵形式化建模
机译:使用图形化软件过程建模形式化对软件工程过程进行形式化
机译:片上系统同步硬件组件的形式化建模
机译:使用NAND闪存的硬件安全原语
机译:双重深度建模:具有双重效能的多层次建模及其在F-Logic中的形式化
机译:NAND闪存通道的建模和表征
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:用于将硬件建模元素连接到硬件建模系统的系统和方法
机译:使用形式化的硬件设计中的Livelock检测
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。