Model checking aircraft controller software: a case study
Chen, Zhe ; Gu, Yi ; Huang, Zhiqiu ; Zheng, Jun ; Liu, Chang ; Liu, Ziyi
Software, practice & experience, 2015-07, Vol.45 (7), p.989-1017
[Periódico revisado por pares]
Bognor Regis: Blackwell Publishing Ltd
Texto completo disponível