Ezequiel José Veloso Ferreira Moreira
AuthID: R-00M-0HY
1
TÃTULO: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTORES: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLICAÇÃO: 2024, FONTE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517
AUTORES: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLICAÇÃO: 2024, FONTE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517
