| Login | Create Account |
Items where Author is "Barbosa, P."
Jump to: Article | Conference or Workshop Item Number of items: 3.
ArticleBarbosa, P. and Ramalho, F. and Figueiredo, J. and Junior, A. and Costa, Anikó and Gomes, Luís (2009) Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, 15 (11), pp. 2196-2224. ISSN 0948-695X. (ISI Web of Science, Citations: 3). Conference or Workshop ItemCosta, A. and Barbosa, P. and Gomes, L. and Ramalho, Franklin and Figueiredo, Jorge and Junior, Antônio (2010) Properties Preservation in Distributed Execution of Petri Nets Models. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'10, 22-24 February 2010, Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-11628-5_26. (ISI Web of Science). Barbosa, P. and Fonseca, José (2003) A Wireless Voting System for Large Assemblies. [Paper]. In: 8º Congresso Luso-Espanhol de Engenharia Electrotécnica, 3-5 Jul 2003, Vilamoura (PT). |
