Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis.

Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li

Browse the full QRS paper archive.