Property-Preservation Synthesis for Unified Control- and Data-Oriented Models

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProceedings of the Forum on Specification & Design Languages (FDL) 2005
Plaats van productieLausanne
UitgeverijFDL
Pagina's531-542
StatusGepubliceerd - 2005
Evenementconference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30 -
Duur: 27 sep 200530 sep 2005

Congres

Congresconference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30
Periode27/09/0530/09/05
AnderFDL'05, Lausanne, Switzerland

Citeer dit