Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models

Overview of attention for article published in Innovations in Systems and Software Engineering, February 2016

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 5 X posts from 4 X users, with an upper bound of 4,792 followers.

RT @UB_FHSL: Our article on improving the scalability of EOFM verifications has been published by ISSE: https://t.co/P7m1OaHX1G @UB_ISE @U…

RT @UB_FHSL: Our article on improving the scalability of EOFM verifications has been published by ISSE: https://t.co/P7m1OaHX1G @UB_ISE @U…

RT @UB_FHSL: Our article on improving the scalability of EOFM verifications has been published by ISSE: https://t.co/P7m1OaHX1G @UB_ISE @U…

Our article on improving the scalability of EOFM verifications has been published by ISSE: https://t.co/P7m1OaHX1G @UB_ISE @UBengineering