机译:基于Biichi Automata的模型检查的扫描线方法
Universite Paris 13, Sorbonne Paris Cite LJPN, CNRS, UMR 7030, F-93430, Villetaneuse, France;
Department of Computing, Mathematics, and Physics Bergen University College, Norway;
机译:使用扫描线方法即时检查安全性
机译:基于自动机的模型检查方法的反链
机译:区分离散马尔可夫模型的概率模型检查的优先方法
机译:使用扫描线方法的混合实时LTL模型检查
机译:二分项反应理论和贝叶模型的贝叶斯模型检验方法
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:基于公平假设的基于自动机的模型检查的并发实时SCC检测
机译:应用于美国铀矿工肺癌的职业队列数据分析方法:拟合和检查暴露 - 时间 - 反应模型的技术