Correctness-preserving Synthesis for Real-Time Control Software.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedins of the International Conference on Quality Software.
Editors	Mei Hong
Place of Publication	Los Alamitos, USA
Publisher	IEEE Computer Society
Pages	65-73
ISBN (Print)	0-7695-2718-3
Publication status	Published - 2006
Event	conference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28 - Duration: 27 Oct 2006 → 28 Oct 2006

Conference	conference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28
Period	27/10/06 → 28/10/06
Other	QSIC 2006, Beijing, China

Cite this

@inproceedings{8731b03f9a924190bb7414b7443baf65,

title = "Correctness-preserving Synthesis for Real-Time Control Software.",

author = "J. Huang and J.P.M. Voeten and H. Corporaal",

year = "2006",

language = "English",

isbn = "0-7695-2718-3",

pages = "65--73",

editor = "Mei Hong",

booktitle = "Proceedins of the International Conference on Quality Software.",

publisher = "IEEE Computer Society",

address = "United States",

note = "conference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28 ; Conference date: 27-10-2006 Through 28-10-2006",

}

TY - GEN

T1 - Correctness-preserving Synthesis for Real-Time Control Software.

AU - Huang, J.

AU - Voeten, J.P.M.

AU - Corporaal, H.

PY - 2006

Y1 - 2006

M3 - Conference contribution

SN - 0-7695-2718-3

SP - 65

EP - 73

BT - Proceedins of the International Conference on Quality Software.

A2 - Hong, Mei

PB - IEEE Computer Society

CY - Los Alamitos, USA

T2 - conference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28

Y2 - 27 October 2006 through 28 October 2006

ER -