退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN113758074A
专利类型发明专利
公开/公告日2021-12-07
原文格式PDF
申请/专利权人 上海海洋大学;
申请/专利号CN202111084871.2
发明设计人 谢晶;高建业;王金锋;
申请日2021-09-16
分类号F25B49/02(20060101);F25B41/325(20210101);
代理机构
代理人
地址 201306 上海市浦东新区临港新城沪城环路999号
入库时间 2023-06-19 13:38:44
机译: 用于产生和分析方法的软件开发系统以及软件性能分析信息带来基于处理器的设备,软件性能分析信息
机译: 静态分析中软件源代码标识自然语义的软件验证方法
机译: 在硬件的软件上下文中的硬件的验证方法和装置,以及在软件的硬件上下文中的软件的验证方法和装置R。
机译:基于Z和MARTE的嵌入式软件安全建模与验证方法
机译:EasyModel:自适应软件的基于优化的建模和验证方法
机译:一种新颖的基于模型的测试(MBT)软件验证方法
机译:基于STPA的安全分析与验证方法在敏捷软件开发中的应用
机译:一种基于增量数据流分析的软件故障定位和重新验证方法。
机译:pyTFA和matTFA:用于基于热力学的通量分析的Python软件包和Matlab工具箱
机译:将基于sTpa的安全分析和验证方法应用于敏捷软件开发
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷