Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

Author： Betin Can Aysu

Publisher： Springer Publishing Company

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.14, Iss.2, 2007-06, pp. : 129-178

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Integrating human factors in the design of intelligent systems: an example in air traffic control

By Debernard Serge Guiost Benoit Poulain Thierry Crevits Igor Annebicque David Millot Patrick

International Journal of Intelligent Systems Technologies and Applications, Vol. 7, Iss. 2, 2009-05 ,pp. : 205-226

Inderscience Publishers

Access to resources Recommend Favorite

COOPERATING AIR TRAFFIC CONTROL AGENTS

By Nitschke Geoff

Applied Artificial Intelligence, Vol. 15, Iss. 2, 2001-02 ,pp. : 209-235

Taylor & Francis Ltd

Access to resources Recommend Favorite

Scheduling models for air traffic control in terminal areas

By Bianco Lucio Dell’Olmo Paolo Giordani Stefano

Journal of Scheduling, Vol. 9, Iss. 3, 2006-06 ,pp. : 223-253

Springer Publishing Company

Access to resources Recommend Favorite

Mechanical Software Verification - High Level Control Aspects from a User's Perspective

By Goerigk W.

Electronic Notes in Theoretical Computer Science, Vol. 58, Iss. 2, 2004-01 ,pp. : 1-21

Elsevier

Access to resources Recommend Favorite

A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers

By Zha X. F. Li L. L. Zhang W. J.

International Journal of Computer Integrated Manufacturing, Vol. 15, Iss. 3, 2002-03 ,pp. : 242-264

Taylor & Francis Ltd

Access to resources Recommend Favorite