Rabin自动机相关硕士博士期刊学术论文

概率模型检查在分析系统的可靠性、可用性等方面有非常重要的作用。在一些嵌入式控制系统或自适应系统中，运行环境是经常变化的。这......