Title of article
Robust parametric reachability for timed automata
Author/Authors
Laurent Doyen، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
6
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