17
Publications
851
Citations
12
H-Index
2000
Active since
Affiliations
Lúıs Gomes is an author at Universidade Nova de Lisboa specializing in engineering, systems engineering, and computer engineering.
Top concepts
EngineeringSystems EngineeringSoftware DesignComputer EngineeringComputer ScienceSoftware EngineeringFormal MethodsDesignSystem SoftwareEmbedded Systems
Publications per year
2000–2012
17
17
Towards Usage of Formal methods within Embedded Systems Co-design
Lúıs Gomes, João Paulo Barros, Anikó Costa et al. · 2006 · 23 citations
Petri nets tools framework supporting FPGA-based controller implementations
Anikó Costa, Lúıs Gomes, João Paulo Barros et al. · 2008 · 23 citations
Rows per page
1–5 of 17