概率时间并发博弈结构相关硕士博士期刊学术论文 - 搜论网

概率时间并发博弈结构相关论文

实时并发系统的PTSL模型检测

随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采......

期刊

模型检测概率时间并发博弈结构概率时间策略逻辑概率时间自动机区域图实时并发系统博弈模型 model checking probabilistic ti

看过本文同时还关注