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

Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)

eventForum on specification and Design Languages, (FDL 2005) 27-30 September 2005, Lausanne, Switzerland
locationLausanne, Zwitserland
Periode27 sep 2005 → 30 sep 2005