Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu. Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. In 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. pages 556-560, IEEE Computer Society, 2008. [doi]
@inproceedings{GuanGLDY08,
title = {Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking},
author = {Nan Guan and Zonghua Gu and Mingsong Lv and Qingxu Deng and Ge Yu},
year = {2008},
doi = {10.1109/ISORC.2008.74},
url = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.74},
tags = {model checking, meta-model, analysis, Meta-Environment},
researchr = {https://researchr.org/publication/GuanGLDY08},
cites = {0},
citedby = {0},
pages = {556-560},
booktitle = {11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA},
publisher = {IEEE Computer Society},
}