Sections

Home
Personal
Research

Personal tools

You are here: Home → Research → Seminario DSIC → Conferencias → Verification of systems with infinitely many states: underapproximations and overapproximations.

Document Actions

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

by yolanda — last modified 2010-12-20 15:28

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

Click here to get the file

Size 179.7 kB - File type application/pdf

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	»
				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

This site conforms to the following standards:

Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser

«	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

«	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

Portal SIC

Sections

Personal tools

Document Actions

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

«	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