Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.

Tue, 01 Jan 2008 00:00:00 +0100

Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella M. Atkins, Chan-Gun Lee :
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 137-146