Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

FP5

AVISS

Project ID: IST-2000-26410
Finanziato nell'ambito di

Automated Verification of Infinite State Systems

Dal 2001-05-01 al 2002-04-30 | AVISS Sito web

Dettagli del progetto

Costo totale:

EUR 205 434

Contributo UE:

EUR 100 000

Coordinato in:

Germany

Meccanismo di finanziamento:

ACM - Preparatory, accompanying and support measures

Obiettivo

Coordinatore

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany
FAHNENBERGPLATZ
79085 FREIBURG
Germany
See on map
Contatto amministrativo: David BASIN, (Project Coordinator)
Tel.: +49-76-12038240
Fax: +49-76-12038242
E-mail

Partecipanti

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