Title of article
Task automata: Schedulability, decidability and undecidability
Author/Authors
Elena Fersman، نويسنده , , Pavel Krcal، نويسنده , , Paul Pettersson، نويسنده , , Wang Yi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
24
From page
1149
To page
1172
Keywords
Real time systems , Schedulability analysis , Timed automata , Modeling and verification
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
262422
Link To Document