DMCA

Real-time Property Preservation in Concurrent Real-time Systems (2004)

by Jinfeng Huang , Jeroen Voeten , Marc Geilen
Venue:In: Proc. of 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA
Citations:3 - 3 self