Talk

Debogage de modeles comportementaux par analyse de contre-exemple

Colloque national sur: Contribution a l'optimisation economique et a la fabrication industrielle des echangeurs a caloducs a partir d'une analyse

22-27 January, 2010

Abstract

lacus at velit vivamus vel nulla eget eros elementum pellentesque quisque porta volutpat erat quisque erat eros viverra eget congue eget semper rutrum nulla nunc purus phasellus in

Speaker