分层直到公式相关硕士博士期刊学术论文 - 搜论网

分层直到公式相关论文

基于自动机的概率计算树逻辑验证方法

根据带有随机特征的复杂信息系统性质验证的需求，针对离散概率回报模型的分层直到公式，提出一种性质验证分析方法。在综合各种离散随......

期刊

模型检测分层直到公式概率计算树逻辑马尔可夫链自动机积模型 model check stratified until formula probabili

看过本文同时还关注