...
机译:时间变量顺序行为的确定性有限自动机抽象
Finite automaton abstractionsbehavioural systems theoryhybrid systems;
机译:两种确定性的快速排放确定性模型的详细验证。顺序排放的剩余量的系统行为
机译:基于时间变体可靠性的设计优化,使用顺序克里格建模
机译:决定何时决定:时变顺序抽样模型解释了基于价值的决策在人脑中的出现
机译:时间变体顺序行为的确定性有限自动抽象
机译:单词级抽象,用于使用代数几何进行顺序设计验证。
机译:决定何时决定:时变顺序抽样模型解释人脑中基于价值的决策的出现
机译:决定何时决定:时变序贯抽样模型解释了人类大脑中基于价值的决策的出现
机译:索引域上的序列函数和pCF子语言的完全抽象