首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
约束
】搜索到相关结果
1
条
按文献类别分组
期刊
(4)
学位论文
(1)
按栏目分组
期刊
(4)
学位论文
(1)
按年份分组
2020
(1)
2019
(1)
2018
(1)
2017
(2)
按来源分组
计算机辅助工程
(3)
华东师范大学
(1)
飞行力学
(1)
关键词
基于抽象解释的航空并发软件形式化验证方法研究
作者:
姜庆宇
来源:
华东师范大学
年份:
2018
文献类型 :
学位论文
关键词:
形式化验证
并发程序
约束
流敏感
抽象解释
描述:
基于抽象解释的航空并发软件形式化验证方法研究
<
1
>
Rss订阅
订阅地址: