Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Automated Verification of Infinite State Systems

Von 2001-05-01 bis 2002-04-30 | AVISS Website

Projektdetails

Gesamtkosten:

EUR 205 434

EU-Beitrag:

EUR 100 000

Koordiniert in:

Germany

Finanzierungsprogramm:

ACM - Preparatory, accompanying and support measures

Ziel

Koordinator

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

Teilnehmer

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Administrative Kontaktangaben: Michael RUSINOWITCH, (Directeur de Recherche)
Tel.: +33-3-83593020
Fax: +33-3-83278319
E-Mail-Adresse
UNIVERSITA DEGLI STUDI DI GENOVA
Italy
VIA BALBI 5
16126 GENOVA
Italy
See on map
Administrative Kontaktangaben: Alessandro ARMANDO, (Head of Unit)
Tel.: +39-010-3532216
Fax: +39-010-3532948
E-Mail-Adresse
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben