Safety Testing of Safety Critical Software Based on Critical Mission Duration.

Shiping Yang, Nan Sang, Guangze Xiong

Browse the full PRDC paper archive.