1st Workshop on
vAlidation and verification in
FuturE cybeR-physical Systems
Co-Located with the LADC 2019 Conference
(Latin-American Dependable Computing)
November 19th Natal, Brasil.