Strengthening Property Preservation in Concurrent Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal. Strengthening Property Preservation in Concurrent Real-Time Systems. In 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia. pages 106-109, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Oana Florescu' in GoogleThis author has not been identified. Look up 'Jinfeng Huang' in GoogleThis author has not been identified. Look up 'Jeroen Voeten' in GoogleThis author has not been identified. Look up 'Henk Corporaal' in Google

runs on WebDSL