Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltán Micskei. Addressing Verification and Validation Challenges in Future Cyber-Physical Systems. In 9th Latin-American Symposium on Dependable Computing, LADC 2019, Natal, Brazil, November 19-21, 2019. pages 1-2, IEEE, 2019. [doi]
Abstract is missing.