EN FR
EN FR


up Home | Next next


2014 Team Activity Report
SPADES
Sound Programming of Adaptive Dependable Embedded Systems
Research centre: Grenoble - Rhône-Alpes


Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real-time Systems
Keywords: Component Programming, Embedded Systems, Fault Tolerance, Formal Methods, Real-time