Title of article
Model Checking Interactor Specifications
Author/Authors
José C. Campos and Michael D. Harrison ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
36
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