Statistics
Publications
1
Citations
25
H-Index
1
Active since
2009
Affiliations
Ferioli & Gianotti (Italy)(Current)
Charlie Vattani is an author at Ferioli & Gianotti (Italy) specializing in formal specification, formal verification, and system software.
Publications per year
2009–2009
1
1
Self-Repairing systems modeling and verification using AGG
Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani et al. · 2009 · 25 citations
1–1 of 1