进程代数(CCS) 相关硕士博士期刊学术论文 - 搜论网

进程代数(CCS)相关论文

软件的近似正确性及与环境交互度量模型研究

随着软件系统的日趋庞大和复杂,软件可信性问题越来越得到人们的关注.软件的可信性是在软件的正确性、可靠性、安全性等众多属性基......

学位

软件实现软件规范进程代数(CCS) 概率进程代数参数化互模拟三分之二互模拟完整迹度量拓扑

看过本文同时还关注