Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems

Speaker: Kristof Marussy, Fault Tolerant Systems Research Group, University of BudapestWhen: Tuesday, March 19, 3:15PM Where: Aula 1.7 (Coppito 1)Title: Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems Abstract: Evaluation of the reliability and performance of variable…