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

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

Career, activity or publication related prizes (lifetime, best paper, poster etc.)

event2005 Forum on specification and Design Languages, (FDL 2005)
locationLausanne, Switzerland
Period27 Sep 2005 → 30 Sep 2005