Skip to main content

A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

Projektbeschreibung

Embedded Systems Design

Wissenschaftliches Gebiet

  • /Geisteswissenschaften/Kunst/moderne und zeitgenössische Kunst/Rundfunk und Fernsehen
  • /Naturwissenschaften/Informatik und Informationswissenschaften/Software

Aufforderung zur Vorschlagseinreichung

FP7-ICT-2007-1
Andere Projekte für diesen Aufruf anzeigen

Finanzierungsplan

CP - Collaborative project (generic)
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Koordinator

UNIVERSITA DEGLI STUDI DI VERONA
Adresse
Via Dell Artigliere 8
37129 Verona
Italien
Aktivitätstyp
Higher or Secondary Education Establishments
EU-Beitrag
€ 332 644
Kontakt Verwaltung
Franco Fummi (Prof.)

Beteiligte (9)

TECHNISCHE UNIVERSITAET GRAZ
Österreich
EU-Beitrag
€ 296 716
Adresse
Rechbauerstrasse 12
8010 Graz
Aktivitätstyp
Higher or Secondary Education Establishments
Kontakt Verwaltung
Roderick Bloem (Dr)
UNIVERSITAET PADERBORN
Deutschland
EU-Beitrag
€ 293 977
Adresse
Warburger Strasse 100
33098 Paderborn
Aktivitätstyp
Higher or Secondary Education Establishments
Kontakt Verwaltung
Susanne Neufeldt (Ms)
COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
Frankreich
EU-Beitrag
€ 376 449
Adresse
Rue Leblanc 25
75015 Paris 15
Aktivitätstyp
Research Organisations
Kontakt Verwaltung
Olivier HATEM (M.)
CERTESS S.A.
Frankreich
EU-Beitrag
€ 335 974
Adresse
340 Rue De L'eygala - Le Xenon
38430 Moirans
Aktivitätstyp
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Kontakt Verwaltung
Michel Courtoy (Mr.)
AERIELOGIC SARL
Frankreich
EU-Beitrag
€ 208 653
Adresse
4 Avenue De Cambridge, Immeuble Odysse, Citis
14200 Herouville St Clair
Aktivitätstyp
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Kontakt Verwaltung
HELENE DELECOURT (Mrs)
UNIVERSITY COLLEGE DUBLIN, NATIONAL UNIVERSITY OF IRELAND, DUBLIN
Irland
EU-Beitrag
€ 173 773
Adresse
Belfield
4 Dublin
Aktivitätstyp
Higher or Secondary Education Establishments
Kontakt Verwaltung
Donal Doolan (Mr)
FONDAZIONE BRUNO KESSLER
Italien
EU-Beitrag
€ 365 577
Adresse
Via Santa Croce 77
38122 Trento
Aktivitätstyp
Research Organisations
Kontakt Verwaltung
Umberto Silvestri (Mr.)
EDALab srl
Italien
EU-Beitrag
€ 78 386
Adresse
Strada Le Grazie 15
37134 Verona
Aktivitätstyp
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Kontakt Verwaltung
Franco Fummi (Prof.)
UNIVERSITY OF SOUTHAMPTON
United Kingdom
EU-Beitrag
€ 87 851
Adresse
Highfield
SO17 1BJ Southampton
Aktivitätstyp
Higher or Secondary Education Establishments
Kontakt Verwaltung
MICHAEL FRETTON (MR)