Conferencias

Adaptation and Awareness in Ensembles — Par J. Alberto Verdejo López - — Dernière modification 20/10/2011 11:22

Ponente: Martin Wirsing, Fecha: 26-10-2011

Grupo de Investigación en Análisis de Consumo de Recursos y Testing — Par yolanda - — Dernière modification 08/06/2011 18:23

Ponente: Elvira Albert, Fecha: 22-6-2011

Resource analysis using polynomial interpolation — Par yolanda - — Dernière modification 04/05/2011 09:00

Ponente: Marko van Eekelen, Fecha: 18-5-2011

Sobre la semántica de los lenguajes específicos de dominio de tiempo real — Par yolanda - — Dernière modification 01/03/2011 09:58

Ponente: Francisco Durán, Fecha: 1-3-2011

Verification of systems with infinitely many states: underapproximations and overapproximations. — Par yolanda - — Dernière modification 20/12/2010 14:28

Ponente: Pierre Ganty, Fecha: 18-1-2011

Connecting bilattices theory and fuzzy logic — Par yolanda - — Dernière modification 08/11/2010 17:43

Ponente: Daniele Genito, Fecha: 23-11-2010

Iceland: Glaciers, Volcanoes and...Computer Science! — Par yolanda - — Dernière modification 08/10/2010 16:20

Ponente: Luca Aceto, Fecha: 27-10-2010