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

Florian Frische, Tomasz Mistrzyk, Andreas Ldtke

Browse the full Interact paper archive.