位置：成果数据库 > 期刊 > 期刊详情页
<span style="font-family:;font-size:10.5pt;">Model Checking Aircraft Controller Soft
  • 期刊名称：Software-Practice & Experience
  • 时间：2015.7.1
  • 页码：989-1017-
  • 相关项目：基于控制机制的软件可靠性新技术及其理论研究
作者： Zhe Chen|Yi Gu|Zhiqiu Huang|Jun Zheng|Chang Liu|Ziyi Liu|
同期刊论文项目
基于控制机制的软件可靠性新技术及其理论研究
期刊论文 65
同项目期刊论文
BPEL谓词约束建模及可行路径分析
嵌入式机载软件安全性分析标准、方法及工具研究综述
基于双格的多值模型的精化关系与对称化简
支持语义、接口和协议的服务相容性分析
A review of automated formal verification of Ad Hoc routing protocols for wireless sensor networks
Mismatches identification and mediation for web services composition based on semantic information
Self-adaptive semantic web service matching method
使用事件自动机规约的C语言有界模型检测
面向服务器集群的自动化测试监控平台的研究和实现
Web服务中支持本体推理的隐私保护研究
Slithice:一个基于系统依赖图的Java程序切片工具
A FORMAL MODEL FOR CHECKING THE CONVERGENCE PROPERTY OF BORDER GATEWAY PROTOCOL
<span style="font-family:;font-size:10.5pt;">Modeling and Analyzing the Convergence
Analyzing temporal constraints for web services composition
一种状态事件故障树的定量分析方法
面向行为的Web服务组合隐私策略描述研究
<span style="font-size:10.5pt;font-family:;">Control Systems on Automata and Grammar
An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular Ad hoc Networks
基于时间概率代价进程代数的Web服务组合建模和分析
ESpin:基于SPIN的Eclipse模型检测环境
面向适航认证的模型驱动机载软件构件的安全性验证
支持本体推理的P3P隐私策略冲突检测研究
On the Generative Power of omega-Grammars and omega-Automata
Java程序自动锁分解重构
支持模型检测的故障树生成方法研究
Web服务组装中的隐私暴露分析方法
Detecting Hot Road Mobility of Vehicular Ad Hoc Networks
缓存区溢出研究与发展
基于BPEL的RESTful Web服务异步交互及组合研究
RUNTIME VERIFICATION OF ARRAY ACCESS VIOLATIONS IN C PROGRAMS
基于NS2的队列管理算法DropTail和RED仿真与研究
一种基于状态事件故障树的软件安全性分析方法研究
将故障信息扩展到功能模型的安全性分析方法研究
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
云计算环境中支持语义的安全策略匹配研究
基于图谱理论几何空间结构变换的大数据核聚类算法
本体评估方法研究综述
C程序内存安全的运行时检测方法研究和实现