Human-centric task modeling and formal verification have emerged as pivotal approaches in the design and evaluation of complex socio-technical systems. These methodologies integrate detailed ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results