退出
我的积分:
中文文献批量获取
外文文献批量获取
张漾; 胡军; 王立松; 康介祥; 王辉; 高忠杰;
南京航空航天大学计算机科学与技术学院;
软件新技术与产业化协同创新中心;
中国航空无线电电子研究所;
安全关键系统; nuXmv模型; 模型映射; 安全性验证;
机译:生态学中基于个人的模型的面向上下文的模型验证:一种用于验证定性,组成和定量特征的层次结构方法
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:集成面向对象方法和形式化方法进行需求工程
机译:一种轻量级的形式化方法,用于建模,验证和集成基于角色的访问控制需求
机译:一种验证GIA模型的方法,使用海平数据与哈德逊湾和SW Fennoscandia =一种使用海洋语音数据在哈德逊湾和SW Fennoscandia的应用程序验证GIA模型的方法
机译:面向模式的建模是验证和验证功能结构植物模型的一种新方法:鳄梨年增长模块的演示
机译:通过参数优化验证动力学形式:一种数学方法和一种通过参数优化验证动力学形式化的方法:方法和数学方法
机译:面向模型的形式化方法的工业应用面临的挑战与挑战。系列
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:使用心理需求模型的用户意见验证方法
机译:模型假设的验证方法-地面上随机体积及其在多通道相干系统研究和表征覆盖物的数据估计中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。