基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究

文件格式： PDF文档

文件大小： 1.56 MB

资源类别：计算机

关键词：验证扩展基于设计系统

进入标准下载页面

本资源下载需 1 点

论文简介

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究

相关推荐