Title of article :
Task automata: Schedulability, decidability and undecidability
Author/Authors :
Elena Fersman، نويسنده , , Pavel Krcal، نويسنده , , Paul Pettersson، نويسنده , , Wang Yi، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Real time systems , Schedulability analysis , Timed automata , Modeling and verification
Journal title :
Information and Computation
Journal title :
Information and Computation
