Carlos Mao de Ferro
AuthID: R-00K-YJ5
1
TÃTULO: Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
AUTORES: de Ferro, Carlos Mao; Mavridou, Anastasia; Dille, Michael; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTORES: de Ferro, Carlos Mao; Mavridou, Anastasia; Dille, Michael; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Formalizing Model Inference of MicroPython
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXADO EM: Scopus WOS
Scopus WOS