مرکز منطقه ای اطلاع رساني علوم و فناوري - Extended state identification and verification using a model checker

Title of article :

Extended state identification and verification using a model checker

Author/Authors :

Christopher Robinson-Mallett، نويسنده , , Peter Liggesmeyer، نويسنده , , Tilo Mücke، نويسنده , , Ursula Goltz، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 2006

Pages :

From page :

981

To page :

992

Keywords :

Information and Software Technology (1995-2007)\Volume 48\Issue 11

Journal title :

Information and Software Technology

Serial Year :

2006

Journal title :

Information and Software Technology

Record number :

135251

Link To Document :