Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

FP5

AVISS

Project ID: IST-2000-26410
Financé au titre de

Automated Verification of Infinite State Systems

De 2001-05-01 à 2002-04-30 | AVISS Site web

Détails concernant le projet

Coût total:

EUR 205 434

Contribution de l'UE:

EUR 100 000

Coordonné à/au(x)/en:

Germany

Régime de financement:

ACM - Preparatory, accompanying and support measures

Objectif

Coordinateur

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany
FAHNENBERGPLATZ
79085 FREIBURG
Germany
See on map
Contact administratif: David BASIN, (Project Coordinator)
Tél.: +49-76-12038240
Fax: +49-76-12038242
E-mail

Participants

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Contact administratif: Michael RUSINOWITCH, (Directeur de Recherche)
Tél.: +33-3-83593020
Fax: +33-3-83278319
E-mail
UNIVERSITA DEGLI STUDI DI GENOVA
Italy
VIA BALBI 5
16126 GENOVA
Italy
See on map
Contact administratif: Alessandro ARMANDO, (Head of Unit)
Tél.: +39-010-3532216
Fax: +39-010-3532948
E-mail