模拟前序关系相关硕士博士期刊学术论文 - 信丰网

模拟前序关系相关论文

基于模型检测的时空性能分析若干问题研究

模型检测作为一种形式化的自动验证技术,可在设计和开发过程对系统的功能和性能进行分析与验证,从而保证系统在运行过程中的正确性......

学位

模型检测连续时间Markov回报过程时空有界可达概率互模拟等价关系模拟前序关系能耗管理混合Petri网流体随机Petri网

看过本文同时还关注