Alfonso Farina, Antonio Graziano, Stefano Panzieri, Federica Pascucci, Roberto Setola. How to Perform Verification and Validation of Critical Infrastructure Modeling Tools. In Sandro Bologna, Bernhard M. Hämmerli, Dimitris Gritzalis, Stephen D. Wolthusen, editors, Critical Information Infrastructure Security - 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers. Volume 6983 of Lecture Notes in Computer Science, pages 116-127, Springer, 2011. [doi]
Abstract is missing.