مرکز منطقه ای اطلاع رساني علوم و فناوري - An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

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 :

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 :