原文传递
基于形式化方法的系统需求建模与安全性分析研究
| 论文题名： | 基于形式化方法的系统需求建模与安全性分析研究 |
| 关键词： | 形式化方法;系统;需求建模;安全性 |
| 作者： | 张维珺 |
| 专业： | 计算机科学与技术 |
| 导师： | 胡军 |
| 授予学位： | 硕士 |
| 授予学位单位： | 南京航空航天大学 |
| 学位年度： | 2019 |
| 正文语种： | 中文 |
检索历史
应用推荐
| 论文题名： | 基于形式化方法的系统需求建模与安全性分析研究 |
| 关键词： | 形式化方法;系统;需求建模;安全性 |
| 作者： | 张维珺 |
| 专业： | 计算机科学与技术 |
| 导师： | 胡军 |
| 授予学位： | 硕士 |
| 授予学位单位： | 南京航空航天大学 |
| 学位年度： | 2019 |
| 正文语种： | 中文 |