Adéquation algorithme architecture automatisée par solveur SMT / Émilien Kofman ;
sous la direction de Robert de Simone et François Verdier. Thèse de doctorat : Informatique
: Côte d'Azur : 2017
Information trouvée : Président du jury
Evolutionary algorithms for embedded system design / ed. by Rolf Drechsler, Nicole
Drechsler. Cop. 2003