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

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
Orta Doğu Teknik Üniversitesi Adresli: Hayır