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 identifier

  • 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