Model checking aircraft controller software: a case study
Chen, Zhe, Gu, Yi, Huang, Zhiqiu, Zheng, Jun, Liu, Chang, Liu, ZiyiVolume:
45
Language:
english
Journal:
Software: Practice and Experience
DOI:
10.1002/spe.2242
Date:
July, 2015
File:
PDF, 2.78 MB
english, 2015