退出
我的积分:
中文文献批量获取
外文文献批量获取
秦楠; 马亮; 黄锐;
海军潜艇学院 山东青岛266199;
系统理论过程分析; 软件安全需求; 形式化方法; 模型检验; 武器发射控制系统;
机译:进一步质量控制过程分析需求和种子过程分析举措和需求分析仪表:过程分析当前状态和流程分析仪的前景
机译:基于系统理论过程分析模型的正式系统交互式故障分析方法
机译:基于证据理论的传热系统模型验证方法,具有认知性不确定性
机译:基于系统理论过程分析的软件安全验证方法
机译:基于时间间隔和基于点的混合系统验证方法。
机译:VMAT的基于DVH的计划验证方法的比较:ArcCHECK-3DVH系统和基于dynalog的剂量重建
机译:迈向系统理论过程分析(STPA)的建模语言:基于UML的模型驱动系统理论过程分析(STPA)领域专用语言(DSL)的提案
机译:系统理论过程分析在海上供应船动态定位系统中的应用。
机译:软件安全性验证方法,装置和系统
机译:自动化音乐创作和生成系统,自动化音乐创作和生成过程,自动化音乐创作和生成,玩具乐器,音乐伴奏和音乐创作玩具乐器,自动化创作玩具乐器系统和音乐生成,电子信息处理和显示系统,企业基于互联网的一流音乐创作和生成系统,用于自动生成和传送数字复合音乐的网络系统,用于音乐环境的基于独立音乐的音乐创作和表演系统人工智能,基于音乐的自主创作过程音乐的生成和表演人工智能,自主分析仪器系统,用于建立自动音乐创作和生成引擎的网络,几何方法音乐理论系统操作参数映射,以自动方式构成和生成数字音乐的方法,参数转换
机译:需求分析装置,需求分析方法和需求分析程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。