航空文献资源库

全部图书期刊学位论文会议论文报纸图片视频新闻

首页> 根据【关键词:约束】搜索到相关结果 1 条

按文献类别分组

按栏目分组

按年份分组

按来源分组

关键词

基于抽象解释的航空并发软件形式化验证方法研究: 作者： 姜庆宇 来源： 华东师范大学 年份： 2018 文献类型： 学位论文 关键词： 形式化验证并发程序约束流敏感抽象解释; 描述： 基于抽象解释的航空并发软件形式化验证方法研究

< 1 >

Rss订阅

订阅地址：