1 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Advanced Design and Verification Environment for Cyber-physical System Engineering (ADVANCE)
Date du début: 1 oct. 2011, Date de fin: 30 nov. 2014,
The overall objective of ADVANCE is the development of a unified tool-based framework for automated formal verification and simulation-based validation of cyber-physical systems. Unification will be achieved throughthe use of a common formal modelling language supported by methods and tools for simulation and formal verification. An integrated tool environment will provide support for construction ...
Voir le projet