基于诊断器的可诊断性增量测试方法
, 欧阳丹彤, 赵剑Diagnoser-based incremental method of determining diagnosability
WANG Xiao-yu1, 2 , OUYANG Dan-tong1, 2 , ZHAO Jian2
, OUYANG Dan-tong, ZHAO Jian
基于诊断器的可诊断性增量测试方法 |
|
王晓宇, 欧阳丹彤, 赵剑 |
Diagnoser-based incremental method of determining diagnosability |
|
WANG Xiao-yu
, OUYANG Dan-tong, ZHAO Jian |
| 自动机模型及可观测模型 |
| |