Searching for "Application of design for verification with concurrency controllers to air traffic control software." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Application of design for verification with concurrency controllers to air traffic control software
by Aysu Betin-can, Tevfik Bultan — 2005 — In Proceedings of the 20th IEEE International Conference on Automated Software Engineering (ASE
…Application of Design for Verification with Concurrency Controllers to Air Traffic Control…
Cited by 5 (4 self) – Add To MetaCart

2005, ‘Design for Verification for Concurrent and distributed programs
by Aysu Betin-can
… to two real-life software systems: a concurrent text editor and a safety critical air traffic control…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB