Noelia Jimenez

According to our database, Noelia Jimenez authored at least 2 papers in 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

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

Matthew L. Bolton, Noelia Jimenez, Marinus Maria van Paassen, Maite Trujillo

IEEE Trans. Hum. Mach. Syst., 2014

Checking formal verification models for human-automation interaction.

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

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014