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
Size
Last changed
..
aircraftTORDe.xml
5.33 KB
21.10.13 10:42:52
aircraftTORDeZ.sal
22.31 KB
26.12.13 12:09:00
Mobile view
| Page loaded in 1.44 ms |
Encode Explorer