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
Size
Last changed
..
aircraftTORDe.xml
5.33 KB
15.04.13 00:23:11
aircraftTORDeX.sal
17.65 KB
29.04.13 13:48:22
Mobile view
| Page loaded in 1.08 ms |
Encode Explorer