Formal design methods for globally asynchronous/locally synchronous embedded computing systems

Projektinformationen

DYNAGALS

ID Finanzhilfevereinbarung: 220146

Projekt abgeschlossen

Startdatum 1 März 2008

Enddatum 28 Februar 2010

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 € 111 667,01

EU-Beitrag € 111 667,01

Koordiniert durch

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France