Yin, Y.(2010). Research on Formal Verification Technique for Aircraft Safety-Critical Software. Journal of Computers, 5(8),
MLA ZitierstilYin, Yongfeng. "Research On Formal Verification Technique for Aircraft Safety-Critical Software". Journal of Computers, 5.8 ( 2010 )
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.