Secciones

Inicio
Personal
Investigación

Herramientas Personales

Entrar

Usted está aquí: Inicio → Investigación → Seminario DSIC → Conferencias → Verification of systems with infinitely many states: underapproximations and overapproximations.

Acciones de Documento

Verification of systems with infinitely many states: underapproximations and overapproximations.

por yolanda Última modificación 20/12/2010 15:28

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

Click here to get the file

Tamaño 179.7 kB - File type application/pdf

Últimas noticias: Reclamación sobre pagas extras del PDI 30/10/2008; RSME'09 propuesta de sesión especial 18/06/2008; CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08 09/04/2008; Más noticias…

«	Junio 2023					»
Do	Lu	Ma	Mi	Ju	Vi	Sá
				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

Hecho con Plone

Este sitio cumple con los siguientes estándares:

Sección 508
WCAG
XHTML válido
CSS válida
Utilizable en cualquier navegador

«	Junio 2023					»
Do	Lu	Ma	Mi	Ju	Vi	Sá
				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

«	Junio 2023					»
Do	Lu	Ma	Mi	Ju	Vi	Sá
				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

Portal SIC

Secciones

Herramientas Personales

Acciones de Documento

Verification of systems with infinitely many states: underapproximations and overapproximations.

«	Junio 2023					»
Do	Lu	Ma	Mi	Ju	Vi	Sá
				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