J. C. A. de Figueiredo
AuthID: R-00G-79C
1
TITLE: MDA-based methodology for verifying distributed execution of embedded systems models
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef