机译:基于双深度优先搜索的参数时间间隔自动机参数分析
Graduate School of Information Science and Technology, Osaka University, Suita-shi, 565-0871 Japan;
parametric model checking; timed automata; Buechi automata; complementation; acceleration; emptiness checking; double depth first search;
机译:参数时间间隔自动机的定时失效保持等价抽象
机译:利用自然驾驶数据深入分析驾驶员在雨中的车道保持行为:非参数MARS和参数Logistic回归建模方法
机译:不同气候下双层玻璃窗能量性能的气候,参数和非参数分析
机译:参数时间间隔自动机的全局定时双仿真保留抽象
机译:基于参数模型的双谱和多维功率谱估计算法及其在心电图数据分析中的应用(谱分析,非线性相互作用)
机译:基于前后线性预测和双基曲线奇异值分解的DNA序列外显子检测的多尺度参数光谱分析
机译:基于双深度优先搜索的参数时间间隔自动机参数分析