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

Published in: INTERACT (1) (2009)

Keyphrases