Anikó Katalin Horváth da Costa
AuthID: R-000-1VA
51
TÃTULO: On lifting of Statechart structuring mechanisms Full Text
AUTORES: Gomes, L; Costa, A;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
AUTORES: Gomes, L; Costa, A;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
52
TÃTULO: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
INDEXADO EM: 
WOS
WOS