4 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing compose…