Property-Preserving Synthesis for Unified Control and Data-Oriented Models.

Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Awarded at event

Event title2005 Forum on specification and Design Languages (FDL 2005)
LocationLausanne, SwitzerlandShow on map
Period27 Sept 2005 → 30 Sept 2005