Root > Bolton, M. L., Jimenez, N., van Paassen, M. M., & Trujillo, M. (2013). Formally verifying human-automation interaction with specification properties generated from task analytic models. In Proceedings of the Sixth IAASS Conference.
File name asc Size asc Last changed asc
dir ..
xml aircraftTORDe.xml 5.33 KB 15.04.13 00:23:11
sal aircraftTORDeX.sal 17.65 KB 29.04.13 13:48:22
Mobile view | Page loaded in 1.05 ms | Encode Explorer