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, Switzerland
Period27 Sep 2005 → 30 Sep 2005