Checking formal verification models for human-automation interaction.

M. M. van Paassen, Matthew L. Bolton, Noelia Jimenez

Browse the full SMC paper archive.