Title of article
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
Author/Authors
Karsten Loer and Michael D. Harrison ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
28
From page
469
To page
496
Keywords
Model checking · Usability · Industrial design · Human-computer interaction
Journal title
Automated Software Engineering
Serial Year
2006
Journal title
Automated Software Engineering
Record number
307168
Link To Document