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). In Vincenzo Arrichiello, Andrea D'Ambrogio, Alfredo Garro, Carlo Leardi, Carlo Poloni, Andrea Tundis, editors, Proceedings of the INCOSE Italia Conference on Systems Engineering, CIISE 2014, Rome, Italy, November 24-25, 2014. Volume 1300 of CEUR Workshop Proceedings, pages 106-115, CEUR-WS.org, 2014. [doi]
Abstract is missing.