Maite Trujillo

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Automatically Generating

Computational Models

Top Venues

IEEE Trans. Hum. Mach. Syst.

Publications

Matthew L. Bolton, Noelia Jimenez, Marinus Maria van Paassen, Maite Trujillo
Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction. IEEE Trans. Hum. Mach. Syst. 44 (5) (2014)