Travelled to:
1 × United Kingdom
Collaborated with:
A.Bucchiarone P.Pelliccione O.Runge
Talks about:
system (1) repair (1) verif (1) model (1) self (1) use (1) agg (1)
Person: Charlie Vattani
DBLP: Vattani:Charlie
Contributed to:
Wrote 1 papers:
- WICSA-ECSA-2009-BucchiaronePVR #modelling #self #using #verification
- Self-Repairing systems modeling and verification using AGG (AB, PP, CV, OR), pp. 181–190.