Luca Stringhetti

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

Sara Ricciardi, Carlo Leardi, Luca Stringhetti
Verification Validation and Testing: Passion and Deployment Challenges in the Italian Eco-System. CIISE (2016)
Luca Stringhetti, Nicola La Palombara, Rodolfo Canestrari, Osvaldo Catalano, Mauro Fiorini, Enrico Giro, Maria Concetta Maccarone, Giovanni Pareschi, Gino Tosti, Stefano Vercellone
The Verification Process in the ASTRI Project: the Verification Control Document (VCD). CIISE (2014)