Camilla Papa

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP (2011)
Stefano Marrone, Camilla Papa, Valeria Vittorini
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM (2010)