Publications

Export 61 results:
Sort by: Author Title Type [ Year (Desc)]
2005
Gomes, Luís, João Paulo, and Anikó Costa. "Modeling Formalisms for Embedded Systems Design." Embedded Systems Handbook. Ed. Richard Zurawski(Editor-in-Chief). CRC, 2005. pp. 5-1, 5-34. Abstract
n/a
Gomes, Lu{\'ı}s, and Anikó Costa. "Remote Laboratory Support for an Introductory Microprocessor Course." 2005 International Conference on Microelectronics Systems Education, {MSE} 2005, Anaheim, CA, USA, June 12-13, 2005. 2005. 21-22. Abstract
n/a
Gomes, Lu\'ıs, João Paulo Barros, and Anikó Costa. "Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations." Design of embedded control systems. 2005. 153-166. Abstract
n/a
Gomes, Lu{\'ı}s, and Anikó Costa. "Teaching Formal Methods Within System-on-a-Programmable-Chip Design." 2005 International Conference on Microelectronics Systems Education, {MSE} 2005, Anaheim, CA, USA, June 12-13, 2005. 2005. 105-106. Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, Rui Pais, and Filipe Moutinho. "Towards Usage of Formal Methods within Embedded Systems Co-Design." Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation. 2005. Abstract
n/a
2004
Gomes, Lu{\'ı}s, and Anikó Costa. "Embedded Systems Introductory Course supported by remote experiments." e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, {VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Setúbal, Portugal, August 2004. 2004. 89-98. Abstract
n/a
Borza, Paul Nicolae, Gheorghe Scutaru, Lu{\'ı}s Gomes, Anikó Costa, and Laszlo Lazar. "Implementation of a remote and virtual laboratory in the field of home appliance systems." e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, {VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Setúbal, Portugal, August 2004. 2004. 60-68. Abstract
n/a
2003
Costa, Anikó Estadogramas em Co-Design de Sistemas Embutidos. Faculdade Ciêcias e Tecnologia da Universidade Nova de Lisboa, 2003. Abstract
n/a
Gomes, Lu{\'ı}s, and Anikó Costa. "From Use Cases to System Implementation: Statechart Based Co-design." 1st {ACM} {&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings. 2003. 24-33. Abstract
n/a
Gomes, Lu{\'ı}s, and Anikó Costa. "On Lifting of Statechart Structuring Mechanisms." 3rd International Conference on Application of Concurrency to System Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal. 2003. 206-215. Abstract
n/a
2001
Gomes, Lu{\'ı}s, João -, and Anikó Costa. "Man-machine interface for real-time telecontrol based onPetri nets specification." Proceedings of the {IEEE} International Conference on Systems, Man {&} Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001. 2001. 1565-1570. Abstract
n/a