Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. In Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA. pages 137-146, IEEE Computer Society, 2008. [doi]
@inproceedings{YiWBMXAL08,
title = {Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems},
author = {Jianliang Yi and Honguk Woo and James C. Browne and Aloysius K. Mok and Fei Xie and Ella Atkins and Chan-Gun Lee},
year = {2008},
doi = {10.1109/RTAS.2008.28},
url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.28},
tags = {rule-based, meta-model, model-driven development, C++, Meta-Environment},
researchr = {https://researchr.org/publication/YiWBMXAL08},
cites = {0},
citedby = {0},
pages = {137-146},
booktitle = {Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3146-5},
}