![](/img/cover-not-exists.png)
[IEEE 2010 IEEE International Conference on Systems, Man and Cybernetics - SMC - Istanbul, Turkey (2010.10.10-2010.10.13)] 2010 IEEE International Conference on Systems, Man and Cybernetics - Using task analytic models to visualize model checker counterexamples
Bolton, Matthew L., Bass, Ellen J.Year:
2010
Language:
english
DOI:
10.1109/icsmc.2010.5641711
File:
PDF, 1.17 MB
english, 2010