Edição Atual
Os Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS 2021) trazem os artigos selecionados e apresentados na edição do evento realizada online, de 22 a 26 de novembro de 2021, na cidade de Florianópolis/SC, em conjunto com o X Latin-American Symposium on Dependable Computing (LADC 2021). Nesta edição, os anais incluem 08 artigos completos. Esses trabalhos foram selecionados através de um processo de revisão por pares do tipo peer-review. Este volume foi organizado por Leonardo Montecchi (Universidade de Campinas), Nuno Laranjeiro (Universidade de Coimbra) e Vince Molnár (Budapest University of Technology and Economics), coordenadores do WAFERS 2021. Os artigos que integram essa série de anais foram submetidos em 19/09/2021, aceitos para publicação em 02/10/2021, tendo a versão final submetida em 12/10/2021.
Para mais informações sobre o WAFERS 2021, visite o site desta edição do evento.