A layered approach for testing timing in the model-based implementation.

BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee

Browse the full DATE paper archive.