Systèmes distribués dynamiques et leur impact sur les systèmes d'information temps réel - de la spécification à la validation. - HAFDI KAOUTAR (My University, 2016)