Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/iceccs/CuiDT14
AU - Cui, Jin
AU - Duan, Zhenhua
AU - Tian, Cong
TI - Model Checking Rate-Monotonic Scheduler with TMSVL.
BT - 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014
SP - 202
EP - 205
PY - 2014//
DO - 10.1109/ICECCS.2014.37
UR - https://doi.org/10.1109/ICECCS.2014.37
UR - https://doi.ieeecomputersociety.org/10.1109/ICECCS.2014.37
ER -
