Root > Bolton, M. L., Jimenez, N., van Paassen, M. M., & Trujillo, M. (2013). Automatically generating specification properties from task models for the formal verification of human-automation interaction. IEEE Transactions on Human-Machine Systems.
File name desc Size asc Last changed asc
dir ..
sal aircraftTORDeZ.sal 22.31 KB 26.12.13 12:09:00
xml aircraftTORDe.xml 5.33 KB 21.10.13 10:42:52
Mobile view | Page loaded in 1.16 ms | Encode Explorer