Originele taal-2 | Engels |
---|---|
Titel | Proc. of PROGRESS'03 |
Plaats van productie | Utrecht, the Netherlands |
Uitgeverij | STW Technology Foundation |
Pagina's | 109-114 |
ISBN van geprinte versie | 90-73461-37-5 |
Status | Gepubliceerd - 2003 |
Towards correctness-preserving synthesis for real-time software
J. Huang, J.P.M. Voeten, A. Ventevogel, L.J. Bokhoven, van
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review