Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking

Florian Frische, Tomasz Mistrzyk, Andreas Lüdtke. Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking. In Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler, editors, Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I. Volume 5726 of Lecture Notes in Computer Science, pages 528-531, Springer, 2009. [doi]

Abstract

Abstract is missing.