Platform-Specific Code Generation from Platform-Independent Timed Models.

BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee

Browse the full RTSS paper archive.