Publications

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
2005
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