Alberto Tremori, Pilar Caamaño Sobrino, Arnau Carrera Viñas, Giovanni Luca Maglione, David Solarna, Robert Been, Thomas Mansfield. A Verification, Validation and Accreditation Process for Autonomous Interoperable Systems. In Jan Mazal, editor, Modelling and Simulation for Autonomous Systems - 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers. Volume 10756 of Lecture Notes in Computer Science, pages 314-323, Springer, 2017. [doi]
Abstract is missing.