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]
@inproceedings{FrischeML09,
title = {Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking},
author = {Florian Frische and Tomasz Mistrzyk and Andreas Lüdtke},
year = {2009},
doi = {10.1007/978-3-642-03655-2_59},
url = {http://dx.doi.org/10.1007/978-3-642-03655-2_59},
tags = {model checking, meta-model, modeling, data-flow, Meta-Environment},
researchr = {https://researchr.org/publication/FrischeML09},
cites = {0},
citedby = {0},
pages = {528-531},
booktitle = {Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I},
editor = {Tom Gross and Jan Gulliksen and Paula Kotzé and Lars Oestreicher and Philippe A. Palanque and Raquel Oliveira Prates and Marco Winckler},
volume = {5726},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03654-5},
}