Anikó Katalin Horváth da Costa


AuthID: R-000-1VA

Confirmed Publications: 37



31
TITLE: Petri nets as supporting formalism within embedded systems co-design
AUTHORS: Gomes, L ; Costa, A ;
PUBLISHED: 2006, SOURCE: Industrial Embedded Systems - IES'2006 in Industrial Embedded Systems - IES'2006
INDEXED IN: Scopus CrossRef
IN MY: ORCID
32
TITLE: Removing ill-structured arcs in hierarchical and concurrent state diagrams
AUTHORS: Luis Gomes ; Aniko Costa ;
PUBLISHED: 2006, SOURCE: 11th IEEE International Conference on Emerging Technologies and Factory Automation in 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
33
TITLE: From use cases to building monitoring systems through Petri nets
AUTHORS: Gomes, L ; Costa, A ; Meira, P;
PUBLISHED: 2005, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
34
TITLE: Remote laboratory support for an introductory microprocessor course
AUTHORS: Gomes, L ; Costa, AK ;
PUBLISHED: 2005, SOURCE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
35
TITLE: Teaching formal methods within system-on-a-programmable-chip design
AUTHORS: Gomes, L ; Costa, A ;
PUBLISHED: 2005, SOURCE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
36
TITLE: Towards usage of formal methods within embedded systems co-design
AUTHORS: Gomes, L ; Barros, JP ; Costa, A ; Pais, R; Moutinho, F;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 18
IN MY: ORCID
37
TITLE: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTHORS: Gomes, L ; Barros, JP ; Costa, A ;
PUBLISHED: 2001, SOURCE: 2001 IEEE International Conference on Systems, Man and Cybernetics in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 3
INDEXED IN: Scopus
IN MY: ORCID
Page 4 of 4. Total results: 37.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service