Sanjoy K. Baruah, Haohan Li, Leen Stougie. Towards the Design of Certifiable Mixed-criticality Systems. In Marco Caccamo, editor, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010. pages 13-22, IEEE Computer Society, 2010. [doi]
@inproceedings{BaruahLS10,
title = {Towards the Design of Certifiable Mixed-criticality Systems},
author = {Sanjoy K. Baruah and Haohan Li and Leen Stougie},
year = {2010},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2010.10},
tags = {design},
researchr = {http://researchr.org/publication/BaruahLS10},
cites = {0},
citedby = {0},
pages = {13-22},
booktitle = {16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010},
editor = {Marco Caccamo},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4001-6},
}