机译:估计扩展有限状态机中过渡路径的可行性
School of Information Systems, Computing and Mathematics, Brunei University, London, UK;
School of Information Systems, Computing and Mathematics, Brunei University, London, UK;
Department of Computer Science, King's College London, London, UK;
Department of Computer Science, University of Sheffield, Sheffield, UK;
EFSM; transition feasibility; state-based testing; automated test generation;
机译:沿有限长度路径和地-空路径的极低角度气体损失的近似估算方法
机译:时间序列扩展有限状态电机的相关矢量机多故障预测
机译:在有限过渡时间内过阻尼系统中最可能的过渡路径
机译:为带有反问题的扩展有限状态机(EFSM)生成用于测试的可行过渡路径
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:用有限元计算二维和三维非均匀网格的过渡路径理论
机译:估计扩展有限状态机中过渡路径的可行性