Aviation safety
- 28 May 2013
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems - ATACCS '13
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Automated framework for formal operator task analysisPublished by Association for Computing Machinery (ACM) ,2011
- Software model checking takes offCommunications of the ACM, 2010
- Toward a wider use of formal methods for aerospace systems design and verificationInternational Journal on Software Tools for Technology Transfer, 2009
- Preface to Special Issue on Air TransportationSIMULATION, 2007
- Experimental study of cockpit displays of traffic information for pilot self-spacing in congested airspacePublished by Association for Computing Machinery (ACM) ,2003
- Simulating activities: Relating motives, deliberation, and attentive coordinationCognitive Systems Research, 2002
- Formal Verification of Human-Automation InteractionHuman Factors: The Journal of the Human Factors and Ergonomics Society, 2002
- Using model checking to help discover mode confusions and other automation surprisesReliability Engineering & System Safety, 2002
- Brahms: simulating practice for work systems designInternational Journal of Human-Computer Studies, 1998
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997