[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Model checking flight control systems: The Airbus experience
Bochot, Thomas, Virelizier, Pierre, Waeselynck, Helene, Wiels, VirginieYear:
2009
Language:
english
DOI:
10.1109/icse-companion.2009.5070960
File:
PDF, 264 KB
english, 2009