面向约束描述风格相关硕士博士期刊学术论文 - 信丰网

面向约束描述风格相关论文

LOTOS在网关体系结构设计中的应用

本论文从实践LOTOS语言的角度出发，采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。......

期刊

LOTOS LOTOS规格网关体系结构面向约束描述风格 LOTOS LOTOS Specification Networking Gateway arc

看过本文同时还关注