Towards Stronger Property Preservation in Real-Time Systems Synthesis Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal ES Reports ISSN

First Page		Document Content
Date: 2006-05-26 08:16:13 Mechanical engineering Simple machine		Towards Stronger Property Preservation in Real-Time Systems Synthesis Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Download Document from Source Website File Size: 353,17 KB Share Document on Facebook