Skip to content.
|
Skip to navigation
Site Map
Accessibility
Contact
Search Site
Advanced Search…
Portal SIC
Sections
Home
Personal
Research
Personal tools
Log in
You are here:
Home
→
Research
→
Seminario DSIC
→
Conferencias
→
Grupo de Investigación en Análisis de Consumo de Recursos y Testing
Send this page to somebody
Fill in the email address of your friend to send an email with the address.
Address info
Send to
(Required)
The e-mail address to send this link to.
From
(Required)
Your email address.
Comment
A comment about this link.
Navigation
Home
Personal
Research
Research groups
Publicaciones
Seminario DSIC
Presentación
Planificación
Conferencias
Adaptation and Awareness in Ensembles
Grupo de Investigación en Análisis de Consumo de Recursos y Testing
Resource analysis using polynomial interpolation
Sobre la semántica de los lenguajes específicos de dominio de tiempo real
Verification of systems with infinitely many states: underapproximations and overapproximations.
Connecting bilattices theory and fuzzy logic
Iceland: Glaciers, Volcanoes and...Computer Science!
Transparencias
Curso 2009-10
Organización del Departamento
Url Oficial del Departamento
Login
News
Reclamación sobre pagas extras del PDI
2008-10-30
RSME'09 propuesta de sesión especial
2008-06-18
CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08
2008-04-09
More news…
«
June 2023
»
Su
Mo
Tu
We
Th
Fr
Sa
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Powered by Plone CMS, the Open Source Content Management System
This site conforms to the following standards:
Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser
Reclamación sobre pagas extras del PDI