مرکز منطقه ای اطلاع رساني علوم و فناوري - Verification of scope-dependent hierarchical state machines

Title of article :

Verification of scope-dependent hierarchical state machines

Author/Authors :

Salvatore La Torre، نويسنده , , Margherita Napoli، نويسنده , , Mimmo Parente، نويسنده , , Gennaro Parlato، نويسنده ,

Issue Information :

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

Pages :

From page :

1161

To page :

1177

Keywords :

Hierarchical state machinesModel checkingAutomataTemporal logic

Journal title :

Information and Computation

Serial Year :

2008

Journal title :

Information and Computation

Record number :

262506

Link To Document :