ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation

VERDE

VERification-oriented & component-based model Driven Engineering for real-time embedded systems

Project description

VERDE is developing and industrialising a solution for iterative, incremental development and validation of realtime embedded systems (RTES) in aerospace, software radio, railway and automotive domain
Alt

http://www.itea-verde.org/

Project publications

Work package documents