参数化互模拟相关硕士博士期刊学术论文 - 搜论网

参数化互模拟相关论文

软件动态正确性的形式化描述

软件正确性是一个逐渐改进的过程．通过不断地修改，软件越来越接近于正确．同时软件的执行依赖于环境．为了刻画软件的动态正确性并考虑环......

期刊

软件正确性参数化互模拟形式化极限拓扑 correctness of softwareparameterized bisimulation formali

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

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

学位

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

看过本文同时还关注