مرکز منطقه ای اطلاع رساني علوم و فناوري - Robust parametric reachability for timed automata

Title of article :

Robust parametric reachability for timed automata

Author/Authors :

Laurent Doyen، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2007

Pages :

From page :

208

To page :

213

Keywords :

Parametric timed automata , real-time systems , formal methods , Theory of computation , Robustness , Verification , model checking

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130429

Link To Document :