Conception, développement et V&V basés sur les modèles

Conception, développement et V&V basés sur les modèles de systèmes distribués et cyber-physiques complexes à base logicielle