...
机译:根据下推规范对概率系统进行模型检查
Institut fuer Theoretische Informatik, Technische Universitaet Dresden, Dresden, Germany;
Institut fuer Theoretische Informatik, Technische Universitaet Dresden, Dresden, Germany;
Institut fuer Theoretische Informatik, Technische Universitaet Dresden, Dresden, Germany;
formal methods; probabilistic model checking; pushdown systems; context-free specifications; markov chains;
机译:概率下推自动机的分支时间模型检查
机译:模型检查概率下推自动机
机译:LTL模型检查寄存器推动系统
机译:模型检查概率下推自动机
机译:分布式概率系统的定量模型检查
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:模型检查无状态的分支时间属性的不可判定性 概率下推过程
机译:概率论与非确定性系统的模型检验。