Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.

Hung Ledang, Dang Van Hung

Browse the full TASE paper archive.