مرکز منطقه ای اطلاع رساني علوم و فناوري - On model-checking timed automata with stopwatch observers

Title of article :

On model-checking timed automata with stopwatch observers

Author/Authors :

Thomas Brihaye، نويسنده , , Veronique Bruyère، نويسنده , , Jean-François Raskin، نويسنده ,

Issue Information :

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

Pages :

From page :

408

To page :

433

Keywords :

Bisimulations , Model-checking , Weighted timed automata

Journal title :

Information and Computation

Serial Year :

2006

Journal title :

Information and Computation

Record number :

262335

Link To Document :