A paper with title "Formal Analysis of Departure Procedure of Air Traffic Control System" by Mr. Shahid Yousaf, Dr. Nazir Ahmad Zafar and Mr. Sher Afzal Khan, is accepted for publication in proceedings of the 2010 2nd International Conference on Software Technology and Engineering (ICSTE 2010), San Juan, Puerto Rico, USA.
No comments:
Post a Comment