Anikó Katalin Horváth da Costa


AuthID: R-000-1VA

Publicações Confirmadas: 37



31
TÍTULO: Petri nets as supporting formalism within embedded systems co-design
AUTORES: Gomes, L ; Costa, A ;
PUBLICAÇÃO: 2006, FONTE: Industrial Embedded Systems - IES'2006 in Industrial Embedded Systems - IES'2006
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
32
TÍTULO: Removing ill-structured arcs in hierarchical and concurrent state diagrams
AUTORES: Luis Gomes ; Aniko Costa ;
PUBLICAÇÃO: 2006, FONTE: 11th IEEE International Conference on Emerging Technologies and Factory Automation in 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
33
TÍTULO: From use cases to building monitoring systems through Petri nets
AUTORES: Gomes, L ; Costa, A ; Meira, P;
PUBLICAÇÃO: 2005, FONTE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
34
TÍTULO: Remote laboratory support for an introductory microprocessor course
AUTORES: Gomes, L ; Costa, AK ;
PUBLICAÇÃO: 2005, FONTE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
35
TÍTULO: Teaching formal methods within system-on-a-programmable-chip design
AUTORES: Gomes, L ; Costa, A ;
PUBLICAÇÃO: 2005, FONTE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
36
TÍTULO: Towards usage of formal methods within embedded systems co-design
AUTORES: Gomes, L ; Barros, JP ; Costa, A ; Pais, R; Moutinho, F;
PUBLICAÇÃO: 2005, FONTE: 10th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, VOLUME: 1 2 VOLS
INDEXADO EM: Scopus WOS CrossRef: 18
NO MEU: ORCID
37
TÍTULO: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTORES: Gomes, L ; Barros, JP ; Costa, A ;
PUBLICAÇÃO: 2001, FONTE: 2001 IEEE International Conference on Systems, Man and Cybernetics in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 3
INDEXADO EM: Scopus
NO MEU: ORCID
Página 4 de 4. Total de resultados: 37.

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

Links Úteis

Ajuda

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