机译:关于定时自动机确定和最小化的民间定理
CNRS, Verimag Laboratory, Centre Equation, 2, avenue de Vignate, 38610 Gieres, France;
formal methods; specification languages; timed automata; determinization; decidability;
机译:量级值模糊自动机的类别:测定和最小化
机译:用增量技术确定和最小化有限无环自动机
机译:加权定时自动机的Kleene-Schutzenberger定理
机译:关于定时自动机的确定性和最小化的民间定理
机译:比较参考位置的强度:流行度,时间相关性以及一些有关缓存丢失率和输出的民间定理。
机译:离散时间重标度定理:确定拟合优度为神经扣球的离散时间统计模型
机译:关于定时自动机的确定性和最小化的民间定理
机译:关于非定时,定时和混合I / O自动机的专业定理的开发策略