嵌入式扩展相关硕士博士期刊学术论文 - 搜论网

嵌入式扩展相关论文

Z规格说明的正确性及系统不变式

Z规格说明语言作为一种重要的形式规格说明语言,二十多年有了很大的发展.各种Z语言的支撑工具相继推出,然而,大多数的工具都集中在......

学位

规格说明前向推理正确性模式演算模式标准化谓词分析栈谓词等价栈嵌入式扩展连接式扩展(在位扩展) 系统不变式

看过本文同时还关注