A Safety-Assured Development Approach for Real-Time Software

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]

Authors

Eunkyoung Jee

This author has not been identified. Look up 'Eunkyoung Jee' in Google

Shaohui Wang

This author has not been identified. Look up 'Shaohui Wang' in Google

Jeong-Ki Kim

This author has not been identified. Look up 'Jeong-Ki Kim' in Google

Jaewoo Lee

This author has not been identified. Look up 'Jaewoo Lee' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google