XYZE语言相关硕士博士期刊学术论文 - 搜论网

XYZE语言相关论文

有穷状态XYZ/E程序的模型检查研究

XYZ/E语言是一个可执行的时序逻辑语言,可以用来描述有穷状态反应系统.为了构造一个以XYZ/E语言作为系统描述语言的模型检查工具,......

学位

有穷状态反应系统线性时序逻辑模型检查 XYZ/E语言自动验证

构件组装中“特征干扰问题”的时序逻辑检测方法研究

当前，基于构件的软件开发方法已经受到越来越多的重视。大多数构件经过了严格的质量认证，单独运行时功能十分明确，但当来自于不同开发......

学位

构件构件组装方式 XYZ/E语育 XYZ图时序逻辑状态控制特征干扰

看过本文同时还关注