Print Email Facebook Twitter Automatically generating specification properties from task models for the formal verification of human-automation interaction Title Automatically generating specification properties from task models for the formal verification of human-automation interaction Author Bolton, ML (External organisation) Jimenez Enebral, N (External organisation) van Paassen, M.M. (TU Delft Control & Simulation) Trujillo, M (External organisation) Date 2014 Subject CWTS 0.75 <= JFIS < 2.00 To reference this document use: http://resolver.tudelft.nl/uuid:3c490b8a-ece0-4300-b48e-e5d93ef5de22 DOI https://doi.org/10.1109/THMS.2014.2329476 ISSN 2168-2291 Source IEEE Transactions on Human-Machine Systems, 44 (5), 561-575 Part of collection Institutional Repository Document type journal article Rights © 2014 ML Bolton, N Jimenez Enebral, M.M. van Paassen, M Trujillo Files PDF 06843972.pdf 974.58 KB Close viewer /islandora/object/uuid:3c490b8a-ece0-4300-b48e-e5d93ef5de22/datastream/OBJ/view