Conferencias

Adaptation and Awareness in Ensembles — by J. Alberto Verdejo López — last modified 2011-10-20 11:22

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

Grupo de Investigación en Análisis de Consumo de Recursos y Testing — by yolanda — last modified 2011-06-08 18:23

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

Resource analysis using polynomial interpolation — by yolanda — last modified 2011-05-04 09:00

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

Sobre la semántica de los lenguajes específicos de dominio de tiempo real — by yolanda — last modified 2011-03-01 09:58

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

Verification of systems with infinitely many states: underapproximations and overapproximations. — by yolanda — last modified 2010-12-20 14:28

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

Connecting bilattices theory and fuzzy logic — by yolanda — last modified 2010-11-08 17:43

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

Iceland: Glaciers, Volcanoes and...Computer Science! — by yolanda — last modified 2010-10-08 16:20

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