Zalila, Bechir Modellazione architettonica per sistemi TR2E: Contributi alla configurazione dinamica, alla tolleranza ai guasti, all'ottimizzazione e alla verifica formale Zalila, Bechir Architektonische Modellierung im Dienste der TR2E-Systeme: Beiträge zu Dynamic Configuration, Fault Tolerance, Optimization und Formal Verification Sök bara efter: Zalila, Bechir
