An Empirical Study of Flight Control System Model Checking Integrated with FMEA.

Xinyi Wang, Gaolei Yi, Yichen Wang

Browse the full QRS paper archive.