跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
基于 PROMELA 模型的安全关键软件形式化验证技术
Liang Xing, Chengjun Ding, Hupeng Du,
Chunyan Ma
软件学院
Aeronautic Computing Technology Research Institute
Northwestern Polytechnical University Xian
科研成果
:
期刊稿件
›
文章
›
同行评审
综述
指纹
指纹
探究 '基于 PROMELA 模型的安全关键软件形式化验证技术' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
Assertion Violation
20%
Critical Software
100%
Null Pointer
20%