退出
我的积分:
中文文献批量获取
外文文献批量获取
胡军; 吕佳润; 王立松; 康介祥; 王辉; 高忠杰;
南京航空航天大学计算机科学与技术学院;
软件新技术与产业化协同创新中心;
中国航空无线电电子研究所软件部;
机载软件形式化建模; 变量关系模型; 自然语言需求建模; 形式化方法;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:形式化软件质量保证工具实施的事后分析:一个案例研究
机译:基于知识图的机载软件高级需求形式化建模
机译:实时控制软件的面向对象需求分析和设计:一个案例研究。
机译:将核型与DNA条码关联:基于对新嗜性夜蛾科(鳞翅目)的研究提出一个染色体分析新标准的实例
机译:铁路运输计算机控制的形式化建模与分析:一个案例研究
机译:软件容错性的形式化建模与分析
机译:在共享和分布式计算环境中对软件应用程序的计算资源需求进行建模和分析的方法和系统
机译:在共享和分布式计算环境中对软件应用程序的资源需求进行建模和分析的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。