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 leader

Alt Alt Alt

Project publications

Work package documents