退出
我的积分:
中文文献批量获取
外文文献批量获取
王鹏; 吴康; 阎芳; 汪克念; 张啸晨;
航空器适航审定技术重点实验室 天津300300;
中国民航大学适航学院 天津300300;
中国民航大学电子信息与自动化学院 天津300300;
系统理论过程分析方法; 软件安全; 形式化; 模型检验; 起落架控制软件;
机译:安全关键嵌入式系统的验证和验证方法
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:评论:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:基于系统理论过程分析的软件安全验证方法
机译:基于时间间隔和基于点的混合系统验证方法。
机译:基于ASIC的NMR系统运行状况监控器设计用于任务/安全关键型应用
机译:迈向系统理论过程分析(STPA)的建模语言:基于UML的模型驱动系统理论过程分析(STPA)领域专用语言(DSL)的提案
机译:系统理论过程分析在海上供应船动态定位系统中的应用。
机译:软件安全性验证方法,装置和系统
机译:安全关键系统的设计和验证方法
机译:自动化音乐创作和生成系统,自动化音乐创作和生成过程,自动化音乐创作和生成,玩具乐器,音乐伴奏和音乐创作玩具乐器,自动化创作玩具乐器系统和音乐生成,电子信息处理和显示系统,企业基于互联网的一流音乐创作和生成系统,用于自动生成和传送数字复合音乐的网络系统,用于音乐环境的基于独立音乐的音乐创作和表演系统人工智能,基于音乐的自主创作过程音乐的生成和表演人工智能,自主分析仪器系统,用于建立自动音乐创作和生成引擎的网络,几何方法音乐理论系统操作参数映射,以自动方式构成和生成数字音乐的方法,参数转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。