Skip to Main content Skip to Navigation


...
hal-00728577v1  Conference papers
Nicolas AlbarelloJean-Baptiste WelcommeClaude Reyterou. A formal design synthesis and optimization method for systems architectures
9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France