Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee. A Safety-Assured Development Approach for Real-Time Software. In 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010. pages 133-142, IEEE Computer Society, 2010. [doi]
@inproceedings{JeeWKLSL10,
title = {A Safety-Assured Development Approach for Real-Time Software},
author = {Eunkyoung Jee and Shaohui Wang and Jeong-Ki Kim and Jaewoo Lee and Oleg Sokolsky and Insup Lee},
year = {2010},
doi = {10.1109/RTCSA.2010.42},
url = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2010.42},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/JeeWKLSL10},
cites = {0},
citedby = {0},
pages = {133-142},
booktitle = {16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-8480-5},
}