مرکز منطقه ای اطلاع رساني علوم و فناوري - A user-friendly interface to specify temporal properties of concurrent systems

Title of article :

A user-friendly interface to specify temporal properties of concurrent systems

Author/Authors :

Nicoletta De Francesco، نويسنده , , Antonella Santone، نويسنده , , Gigliola Vaglini، نويسنده ,

Issue Information :

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

Pages :

From page :

299

To page :

311

Keywords :

model checking , Temporal logic , Patterns

Journal title :

Information Sciences

Serial Year :

2007

Journal title :

Information Sciences

Record number :

177081

Link To Document :