Conferencias

Adaptation and Awareness in Ensembles — por J. Alberto Verdejo López — Última modificación 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 — por yolanda — Última modificación 08/06/2011 18:23

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

Resource analysis using polynomial interpolation — por yolanda — Última modificación 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 — por yolanda — Última modificación 01/03/2011 09:58

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

Verification of systems with infinitely many states: underapproximations and overapproximations. — por yolanda — Última modificación 20/12/2010 14:28

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

Connecting bilattices theory and fuzzy logic — por yolanda — Última modificación 08/11/2010 17:43

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

Iceland: Glaciers, Volcanoes and...Computer Science! — por yolanda — Última modificación 08/10/2010 16:20

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