Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Automated Verification of Infinite State Systems

Od 2001-05-01 do 2002-04-30 | AVISS Witryna

Dane projektu

Całkowity koszt:

EUR 205 434

Wkład UE:

EUR 100 000

Kraj koordynujący:

Germany

System finansowania:

ACM - Preparatory, accompanying and support measures

Cel

Koordynator

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany
FAHNENBERGPLATZ
79085 FREIBURG
Germany
See on map
Kontakt administracyjny: David BASIN, (Project Coordinator)
Tel.: +49-76-12038240
Faks: +49-76-12038242
Adres e-mail

Uczestnicy

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Kontakt administracyjny: Michael RUSINOWITCH, (Directeur de Recherche)
Tel.: +33-3-83593020
Faks: +33-3-83278319
Adres e-mail
UNIVERSITA DEGLI STUDI DI GENOVA
Italy
VIA BALBI 5
16126 GENOVA
Italy
See on map
Kontakt administracyjny: Alessandro ARMANDO, (Head of Unit)
Tel.: +39-010-3532216
Faks: +39-010-3532948
Adres e-mail
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę