2 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,
...presenting a combination of leading European industrial players in systems engineering along with academic partners with internationally leading expertise in formal verification and simulation tools. Systerel and the Univs. of Düsseldorf and Southampton will lead the development of novel methods and tools while Alstom and Critical Software will apply these to the engineering of intelligent transpo ...
Voir le projet
7
Participants partenaires
TERMINÉ
Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability (DEPLOY)
Date du début: 1 févr. 2008, Date de fin: 30 avr. 2012,
Description
The overall aim of the DEPLOY Integrated Project is to make major advances in engineering methods for dependable systems by deploying formal engineering methods.The overall aim of the DEPLOY Project is to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods. For ...
Voir le projet