 |
| |||
| HAI: Human Automation Interaction (ЕКА; ESA; Human Automation Interaction (HAI, 2014) focused on the development of quantitative formal modelling and verification approaches for the design of automated systems in view of human error. AllaR) | |||
|
| |||
| HAI: Human Automation Interaction (ЕКА; ESA; Human Automation Interaction (HAI, 2014) focused on the development of quantitative formal modelling and verification approaches for the design of automated systems in view of human error. AllaR) | |||