Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
2012
Cite DOI URL
Type
Book
Publication
Springer
Vittorio Cortellessa
Vittorio Cortellessa
Full Professor

My main research interests are in the areas of Software Performance, Software Reliability, and Model-Driven Engineering.