مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Model Checking Interactor Specifications

Author/Authors :

José C. Campos and Michael D. Harrison ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2001

Pages :

From page :

275

To page :

310

Keywords :

Software Verification , Interactive systems , automation surprise , interface mode confusion , Modelchecking , interactor based specifications

Journal title :

Automated Software Engineering

Serial Year :

2001

Journal title :

Automated Software Engineering

Record number :

307084

Link To Document :