...
机译:一种将Buechi自动机降低到不确定程度2的功率集构造
Department of Computer Science, University of Fribourg, Boulevard de Perolles 90, CH-1700 Fribourg, Switzerland;
formal languages; buechi automata; non-determinism; regular ω-languages;
机译:表达评估中不确定性的比较度
机译:Unity和Buechi Automata
机译:一种基于多层转换从UML 2序列图中验证自动生成Buechi自动机的技术
机译:在Isabelle / HOL中验证的LTL模型检查Buechi自动机的构建
机译:评估并减少LDA不确定性对软件工程的影响。
机译:轻度体位压力测试期间严重的肌病性脑脊髓炎/慢性疲劳综合症患者的脑血流量减少:20度抬头倾斜测试的探索性研究
机译:Buechi和奇偶自动机的代数跟踪语义
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。