Towards stronger property preservation in real-time system synthesis

O. Florescu, J. Huang, J.P.M. Voeten, H. Corporaal

Research output: Book/ReportReportAcademic

31 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages21
Publication statusPublished - 2006

Publication series

NameES reports
Volume2006-02
ISSN (Print)1574-9517

Cite this