We are organizing VERDI 2023: Call for papers: International Workshop on Verification & Validation of Dependable Cyber-Physical Systems,27 June 2023, Porto, Portugal
Co-located with the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
For more details visit: https://verdi-workshop.github.io/2023/
