性质规范模式相关硕士博士期刊学术论文 - 信丰网

性质规范模式相关论文

基于体系结构模型检查分布式控制系统

分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务统,需要保障其功能的高度正确性和可靠性.......

期刊

正确性需求性质规范模式模型检查软件体系结构分布式控制系统 Computer architecture Distributed computer syst

看过本文同时还关注