Formal Verification of Stability of Embedded Control Systems

Informations projet

VeriStab

N° de convention de subvention: 631622

Projet clôturé

Date de début 1 Mars 2014

Date de fin 28 Février 2018

Financé au titre de

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

Coût total € 100 000,00

Contribution de l’UE € 100 000,00

Coordonné par

FUNDACION IMDEA SOFTWARE
Spain