导航

Study on the Reliability Demonstration Testing Method for Safety-critical Software
QIN Zhi-dong;LEI Hang;SANG Nan;XIONG Guang-ze;GU You-peng
ACTA AERONAUTICAET ASTRONAUTICA SINICA . 2005, (3): 334 -339 .