弱互模拟等价相关硕士博士期刊学术论文 - 搜论网

弱互模拟等价相关论文

基于进程代数的安全软件体系结构建模

分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩......

期刊

进程代数软件体系结构描述语言弱互模拟等价体系结构风格 process algebra software architecture description

看过本文同时还关注