Dipartimento di Informatica

Ricerca: dettaglio

Home > Ricerca > Ricerca: dettaglio: Rich-Model Toolkit (COST Action IC0901) Rich-Model Toolkit (COST Action IC0901) Rich-Model Toolkit (COST Action IC0901) This initiative explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers, and information system users and developers. The home page of the action is http://richmodels.epfl.ch/ Appartiene a: PROGETTI CORRENTI

• In collaborazione con Cineca

Dipartimento di Informatica - C.So Svizzera, 185 - 10149 Torino

Università degli Studi di Torino - Via Verdi, 8 - 10124 Torino - Centralino +39 011 6706111
P.I. 02099550010 - C.F. 80088230018 - IBAN IT07N0306909217100000046985