Noelia Jimenez

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Automatically Generating

Computational Models

Human Interaction

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)
M. M. van Paassen, Matthew L. Bolton, Noelia Jimenez
Checking formal verification models for human-automation interaction. SMC (2014)