Carl-von-Ossietzky-Universitaet Oldenburg;
机译:一种使用Presburger算法对工期微积分进行模型检查的实用方法
机译:模型检查持续时间演算:实用方法
机译:离散持续时间演算的有界模型检查
机译:模型检查持续时间演算:一种实用方法
机译:使用FormalCheck的实用模型检查方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用预先计算算法检验持续时间微积分的实用方法
机译:用Compositionalabstractions检验全μ微积分的实用符号模型