系统不变式相关论文
Z规格说明语言作为一种重要的形式规格说明语言,二十多年有了很大的发展.各种Z语言的支撑工具相继推出,然而,大多数的工具都集中在......
系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且......