How to Perform Verification and Validation of Critical Infrastructure Modeling Tools

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]

@inproceedings{FarinaGPPS11,
  title = {How to Perform Verification and Validation of Critical Infrastructure Modeling Tools},
  author = {Alfonso Farina and Antonio Graziano and Stefano Panzieri and Federica Pascucci and Roberto Setola},
  year = {2011},
  doi = {10.1007/978-3-642-41476-3_10},
  url = {http://dx.doi.org/10.1007/978-3-642-41476-3_10},
  researchr = {https://researchr.org/publication/FarinaGPPS11},
  cites = {0},
  citedby = {0},
  pages = {116-127},
  booktitle = {Critical Information Infrastructure Security - 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers},
  editor = {Sandro Bologna and Bernhard M. Hämmerli and Dimitris Gritzalis and Stephen D. Wolthusen},
  volume = {6983},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-41475-6},
}