Search Results - "Trujillo, Maite" :: K.UTB vyhledávací portál

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

by Bolton, Matthew L., Jimenez, Noelia, van Paassen, Marinus M., Trujillo, Maite
Published in IEEE transactions on human-machine systems (01.10.2014)

Get full text

Journal Article

by Orret Cruz, David, Trujillo Ricaño, Maite
Published in Revista cubana de cirugía (01.12.2006)

Get full text

Journal Article

by David Orret Cruz, Maite Trujillo Ricaño
Published in Revista cubana de cirugía (01.12.2006)

Get full text

Journal Article

by Orret Cruz, David, Trujillo Ricaño, Maité
Published in Revista cubana de cirugía (01.03.2007)

Get full text

Journal Article

by San Martin, M.T., Sadki, M.
Published in IGARSS 2004. 2004 IEEE International Geoscience and Remote Sensing Symposium (2004)

Get full text

Conference Proceeding

by David Orret Cruz, Maité Trujillo Ricaño
Published in Revista cubana de cirugía (01.03.2007)

Get full text

Journal Article

by Trujillo San Martin, Maite
Year of Publication 2004

Get more information

Dissertation