Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Automated Verification of Infinite State Systems

Desde 2001-05-01 hasta 2002-04-30 | AVISS Sitio web

Detalles del proyecto

Coste total:

EUR 205 434

Aportación de la UE:

EUR 100 000

Coordinado en:

Germany

Régimen de financiación:

ACM - Preparatory, accompanying and support measures

Objetivo

Coordinador

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany
FAHNENBERGPLATZ
79085 FREIBURG
Germany
See on map
Contacto administrativo: David BASIN, (Project Coordinator)
Tel.: +49-76-12038240
Fax: +49-76-12038242
Correo electrónico

Participantes

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Contacto administrativo: Michael RUSINOWITCH, (Directeur de Recherche)
Tel.: +33-3-83593020
Fax: +33-3-83278319
Correo electrónico
UNIVERSITA DEGLI STUDI DI GENOVA
Italy
VIA BALBI 5
16126 GENOVA
Italy
See on map
Contacto administrativo: Alessandro ARMANDO, (Head of Unit)
Tel.: +39-010-3532216
Fax: +39-010-3532948
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba