退出
我的积分:
中文文献批量获取
外文文献批量获取
祝义; 黄志球; 张广泉; 周航;
南京航空航天大学信息科学与技术学院,江苏,南京,210016;
徐州师范大学计算机科学与技术学院,江苏,徐州,221116;
苏州大学计算机科学与技术学院,江苏,苏州,215006;
实时软件; 时间通信顺序进程; 时间迁移系统; 模型检验;
机译:一种独立于语言的形式化方法,用于基于模式的建模,并支持合成和分析
机译:一种用于实时软件重用的参数执行时间分析方法
机译:一种形式化领域专用建模语言的描述方法
机译:PARTS-支持多视点的基于时间逻辑的实时软件规范方法
机译:一种用于实时软件设计的性能和故障分析方法。
机译:前瞻记忆人格与工作记忆:形式化建模方法
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:建模支持系统,建模支持方法和建模支持程序
机译:3D建模信息创建支持系统,3D建模信息创建支持方法和3D建模信息创建支持程序
机译:3D建模信息准备支持系统,3D建模信息准备支持方法以及3D建模信息准备支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。