J. C. A. de Figueiredo


AuthID: R-00G-79C

Publicações a aguardar confirmação

1
TÍTULO: MDA-based methodology for verifying distributed execution of embedded systems models
AUTORES: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLICAÇÃO: 2013, FONTE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXADO EM: Scopus CrossRef

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service