 |
| English | Russian |
| 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) |