A Safety-Assured Development Approach for Real-Time Software.

Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee

Browse the full RTCSA paper archive.