退出
我的积分:
中文文献批量获取
外文文献批量获取
彭寒; 曹国震; 吴晓葵;
西安航空学院计算机学院 西安710077;
西安航空学院教务处 西安710077;
分区操作系统; 形式化方法; 综合模块化航空电子架构; 组合形式化方法;
机译:用于验证底层操作系统代码的形式化内存模型
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:列车间通信的形式化建模与安全验证研究
机译:VTOS:微内核操作系统“轻量级”形式化设计和验证方法论的研究
机译:培养素A和野生素的数学建模和分区分析的先进理论应用 - Carotenoid研究:预测方法验证
机译:双重深度建模:具有双重效能的多层次建模及其在F-Logic中的形式化
机译:用于验证底层操作系统代码的内存特性的形式化模型
机译:机载系统的形式化方法和数字系统验证
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:操作系统运行状态验证系统,检查目标设备,操作系统运行状态验证设备,操作系统运行状态验证方法和程序
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。