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, Amerika Birleşik Devletleri, 7 - 11 Kasım 2005, ss.14-23 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1145/1101908.1101914
  • Basıldığı Şehir: Long Beach, CA
  • Basıldığı Ülke: Amerika Birleşik Devletleri
  • Sayfa Sayıları: ss.14-23