论文部分内容阅读
本论文从实践LOTOS语言的角度出发，采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。
LOTOS在网关体系结构设计中的应用
【摘 要】
：
本论文从实践LOTOS语言的角度出发，采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。
【机 构】
：
厦门理工学院计算机科学与技术系
【出 处】
：
电脑与电信
【发表日期】
：
2007年6期
其他文献
北方地区保护地种植在农业生产中占有重要位置,由于保护地面积有限,栽培作物种类单一,长年连作导致土传病菌增多,土壤中微生物的生态平衡受到破坏,影响作物的正常生长发育,抗