Login / Signup

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction.

Matthew L. BoltonNoelia JimenezMarinus Maria van PaassenMaite Trujillo
Published in: IEEE Trans. Hum. Mach. Syst. (2014)
Keyphrases