Application of design for verification with concurrency controllers to air traffic control software

Betin-Can A., Bultan T., Lindvall M., Lux B., Topp S.

20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005, Long Beach, CA, United States Of America, 7 - 11 November 2005, pp.14-23

Publication Type: Conference Paper / Full Text
Doi Number: 10.1145/1101908.1101914
City: Long Beach, CA
Country: United States Of America
Page Numbers: pp.14-23
Middle East Technical University Affiliated: No