Correctness-preserving Synthesis for Real-Time Control Software.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedins of the International Conference on Quality Software.
EditorsMei Hong
Place of PublicationLos Alamitos, USA
PublisherIEEE Computer Society
Pages65-73
ISBN (Print)0-7695-2718-3
Publication statusPublished - 2006
Eventconference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28 -
Duration: 27 Oct 200628 Oct 2006

Conference

Conferenceconference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28
Period27/10/0628/10/06
OtherQSIC 2006, Beijing, China

Cite this

Huang, J., Voeten, J. P. M., & Corporaal, H. (2006). Correctness-preserving Synthesis for Real-Time Control Software. In M. Hong (Ed.), Proceedins of the International Conference on Quality Software. (pp. 65-73). IEEE Computer Society.