Model Checking and Synthesis for Concurrent Software

Projektinformationen

CONAN

ID Finanzhilfevereinbarung: 268352

Projekt abgeschlossen

Startdatum 1 September 2013

Enddatum 31 August 2017

Finanziert unter

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Gesamtkosten € 100 000,00

EU-Beitrag € 100 000,00

Koordiniert durch

UNIVERZITA KOMENSKEHO V BRATISLAVE
Slovakia