Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

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]

@inproceedings{LaranjeiroGSMCL19,
  title = {Addressing Verification and Validation Challenges in Future Cyber-Physical Systems},
  author = {Nuno Laranjeiro and Camilo Gomez and Enrico Schiavone and Leonardo Montecchi and Manoel J. M. Carvalho and Paolo Lollini and Zoltán Micskei},
  year = {2019},
  doi = {10.1109/LADC48089.2019.8995714},
  url = {https://doi.org/10.1109/LADC48089.2019.8995714},
  researchr = {https://researchr.org/publication/LaranjeiroGSMCL19},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {9th Latin-American Symposium on Dependable Computing, LADC 2019, Natal, Brazil, November 19-21, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-6622-3},
}