Dept. of CS, Carl von Ossietzky Universitaet Oldenburg, Germany;
Dept. of CS, Carl von Ossietzky Universitaet Oldenburg, Germany;
Dept. of CS, Carl von Ossietzky Universitaet Oldenburg, Germany;
机译:通过结合不同的封闭方法,改进SAT模ODE方法以进行混合系统分析
机译:基于区间的SAT模ODE求解器,用于非线性混合系统的模型检查
机译:线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析
机译:SAT Modulo ODE:直接坐立于混合系统的方法
机译:用动作语言模ODE表示混合过渡系统。
机译:评估猪口蹄疫SAT 1SAT 2和SAT 3血清型的新型灭活疫苗
机译:saT modulo ODE:混合系统的直接saT方法
机译:计划管理系统培训方法(saT)过程