Distributed Systems Verification with MAS-based Model Checking

Información del proyecto

DIVERMAS

Identificador del acuerdo de subvención: 252184

Proyecto cerrado

Fecha de inicio 1 Enero 2011

Fecha de finalización 31 Diciembre 2012

Financiado con arreglo a

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

Coste total € 165 540,80

Aportación de la UE € 165 540,80

Coordinado por

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom