退出
我的积分:
中文文献批量获取
外文文献批量获取
仵林博; 陈小红; 彭艳红; 聂长海;
中国工程物理研究院计算机应用研究所;
四川绵阳621999;
华东师范大学计算机科学与软件工程学院;
上海200062;
南京大学计算机科学与技术系;
南京210023;
SysML模型; 系统建模; Modelica仿真; 系统结构; 嵌入式系统;
机译:基于模型的框架涵盖了从规范到嵌入式软件系统中的时序要求验证的完整工作流程
机译:SysML中基于合同的建模和时间安全要求的验证
机译:UML对嵌入式系统描述语言SysML建模的研究。
机译:基于SysML的嵌入式软件系统建模与验证方法研究
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:FRED(重建流行病动态框架):一个开源软件系统用于使用基于普查的人群对传染病和控制策略进行建模
机译:嵌入式软件系统的高效建模及其形式验证
机译:L-8:使用sysml建模航天器硬件和软件系统的集成。
机译:基于Web浏览器的牙科诊所管理软件系统与基于嵌入式Web浏览器的牙科成像软件的组合
机译:基于建模依赖性的旧版软件系统的现代化
机译:基于建模的依赖关系,对遗留软件系统进行现代化改造
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。