Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Model Checking and Synthesis for Concurrent Software

Von 2013-09-01 bis 2017-08-31, Abgeschlossenes Projekt

Projektdetails

Gesamtkosten:

EUR 100 000

EU-Beitrag:

EUR 100 000

Koordiniert in:

Slovakia

Aufruf zur Vorschlagseinreichung:

FP7-PEOPLE-2010-RGSee other projects for this call

Finanzierungsprogramm:

MC-IRG - International Re-integration Grants (IRG)

Ziel

Koordinator

UNIVERZITA KOMENSKEHO V BRATISLAVE
Slovakia

EU-Beitrag: EUR 100 000


SAFARIKOVO NAM 6
814 99 BRATISLAVA
Slovakia
Activity type: Higher or Secondary Education Establishments
Administrative Kontaktangaben: Rastislav Kralovic
Tel.: +421 260295470
Fax: +421 2 65427041
E-Mail-Adresse

Fachgebiete

Scientific Research
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben