المؤلفون: Marius Mikučionis, Kim Guldstr, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.aau.dk/%7Ebnielsen/Published/ISoLA2010.pdf.

مصطلحات موضوعية: schedulabilityanalysis, timedautomata, stop-watchautomata, model-checking

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.1416; http://www.cs.aau.dk/%7Ebnielsen/Published/ISoLA2010.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.1416
http://www.cs.aau.dk/%7Ebnielsen/Published/ISoLA2010.pdf