Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali
Progetto MIUR PRIN 2005 n.2005-015491

+ english

Genova

La ricerca dell'unitÓ di Genova (unitÓ 3) Ŕ mirata all'utilizzo di linguaggi e sistemi di programmazione con vincoli per la modellazione e l'analisi di sistemi concorrenti con spazio degli stati infinito.

Dottorandi

PROGETTO DELL'UNIT└ DI RICERCA - Modello B

RENDICONTO DELL'UNIT└ DI RICERCA - Modello C

+ Progetto + UnitÓ di ricerca + AttivitÓ di ricerca + Workshop + Risultati + Contatto
+ torna su