首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【检索词:
综合解释
】搜索到相关结果
1
条
按文献类别分组
期刊
(236)
学位论文
(178)
会议论文
(136)
报纸
(89)
图书
(29)
按栏目分组
期刊
(236)
学位论文
(178)
会议论文
(136)
报纸
(89)
图书
(29)
按年份分组
2023
(18)
2022
(42)
2021
(40)
2020
(88)
2019
(69)
2018
(99)
2017
(55)
2016
(239)
2015
(2)
2014
(3)
2013
(2)
2011
(1)
2009
(2)
2008
(1)
2006
(1)
1997
(1)
1992
(1)
1962
(1)
1959
(1)
1941
(1)
1900
(1)
按来源分组
电子科技大学
(7)
北京：国防工业出版社
(6)
-1
(5)
大连理工大学
(4)
航空精密制造技术
(3)
北京：中国民航出版社
(3)
中国地质大学
(3)
中国地质大学（北京）
(3)
上海交通大学
(2)
西安石油大学
(2)
西安：西北工业大学出版社
(2)
吉林大学
(2)
长安大学
(2)
东北大学
(2)
商情
(1)
电子制作
(1)
科技风
(1)
中国交通运输协会现代客运枢纽分会成立大会暨学术交流会
(1)
航空科学技术学科发展报告
(1)
液压与气动
(1)
文摘版(工程技术)
(1)
北京：商务印书馆
(1)
华东师范大学
(1)
重庆大学
(1)
2020年中国地球科学联合学术年会
(1)
2018年中国地球科学联合学术年会
(1)
中南大学
(1)
国际法学刊
(1)
北京：地质出版社
(1)
中国石油学会2013年物探技术研讨会
(1)
关键词
基于抽象
解释
的航空并发软件形式化验证方法研究
作者：
姜庆宇
来源：
华东师范大学
年份：
2018
文献类型 ：
学位论文
关键词：
形式化验证
并发程序
约束
流敏感
抽象解释
描述：
基于抽象
解释
的航空并发软件形式化验证方法研究
<
1
>
Rss订阅
订阅地址：
