Distributed Systems Verification with MAS-based Model Checking

Projektinformationen

DIVERMAS

ID Finanzhilfevereinbarung: 252184

Projekt abgeschlossen

Startdatum 1 Januar 2011

Enddatum 31 Dezember 2012

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 € 165 540,80

EU-Beitrag € 165 540,80

Koordiniert durch

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom