Zalila, Bechir Modellazione architettonica per sistemi TR2E: Contributi alla configurazione dinamica, alla tolleranza ai guasti, all'ottimizzazione e alla verifica formale
![Zalila, Bechir Modellazione architettonica per sistemi TR2E: Contributi alla configurazione dinamica, alla tolleranza ai guasti, all'ottimizzazione e alla verifica formale](https://r.kelkoo.com/resize.php?country=se&merchantId=100565793&categoryId=5101&trackingId=96964074&width=300&height=300&image=https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F41xIyMlrCLL._SL500_.jpg&sign=MH2vbc4DQpkwOP_R34JZgXGnzahpJrmfMN2TA3upcBM-)
Modellazione architettonica per sistemi TR2E: Contributi alla configurazione dinamica, alla tolleranza ai guasti, all'ottimizzazione e alla verifica formale