Correctness-preserving Synthesis for Real-Time Control Software.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProceedins of the International Conference on Quality Software.
RedacteurenMei Hong
Plaats van productieLos Alamitos, USA
UitgeverijIEEE Computer Society
Pagina's65-73
ISBN van geprinte versie0-7695-2718-3
StatusGepubliceerd - 2006
Evenementconference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28 -
Duur: 27 okt 200628 okt 2006

Congres

Congresconference; QSIC 2006, Beijing, China; 2006-10-27; 2006-10-28
Periode27/10/0628/10/06
AnderQSIC 2006, Beijing, China

Citeer dit