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

Model Checking and Synthesis for Concurrent Software

Dal 2013-09-01 al 2017-08-31, progetto concluso

Dettagli del progetto

Costo totale:

EUR 100 000

Contributo UE:

EUR 100 000

Coordinato in:

Slovakia

Invito a presentare proposte:

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

Meccanismo di finanziamento:

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

Obiettivo

Coordinatore

UNIVERZITA KOMENSKEHO V BRATISLAVE
Slovakia

Contributo UE: EUR 100 000


SAFARIKOVO NAM 6
814 99 BRATISLAVA
Slovakia
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Rastislav Kralovic
Tel.: +421 260295470
Fax: +421 2 65427041
E-mail