| 2007 |
|---|
| 12 | EE | Anikó Costa,
Luís Gomes:
Module Composition within Petri Nets Model-based Development.
SIES 2007: 316-319 |
| 2006 |
|---|
| 11 | EE | Anikó Costa,
Luís Gomes:
Partitioning of Petri net models amenable for Distributed Execution.
ETFA 2006: 1129-1132 |
| 10 | EE | Luís Gomes,
Anikó Costa:
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams.
ETFA 2006: 1230-1237 |
| 2005 |
|---|
| 9 | EE | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Towards usage of formal methods within embedded systems co-design.
ETFA 2005 |
| 8 | EE | Luís Gomes,
Anikó Costa:
Teaching Formal Methods Within System-on-a-Programmable-Chip Design.
MSE 2005: 105-106 |
| 7 | EE | Luís Gomes,
Anikó Costa:
Remote Laboratory Support for an Introductory Microprocessor Course.
MSE 2005: 21-22 |
| 6 | | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
ReCoSoC 2005: 143-150 |
| 5 | | Luís Gomes,
Anikó Costa:
Hardware-level Design Languages.
The Industrial Information Technology Handbook 2005: 1-18 |
| 2004 |
|---|
| 4 | | Paul Nicolae Borza,
Gheorghe Scutaru,
Luís Gomes,
Anikó Costa,
Lazar Laszlo:
Implementation of a remote and virtual laboratory in the field of home appliance systems.
VIRTUAL-LAB 2004: 60-68 |
| 3 | | Luís Gomes,
Anikó Costa:
Embedded Systems Introductory Course supported by remote experiments.
VIRTUAL-LAB 2004: 89-98 |
| 2003 |
|---|
| 2 | EE | Luís Gomes,
Anikó Costa:
On Lifting of Statechart Structuring Mechanisms.
ACSD 2003: 206-215 |
| 1 | EE | Luís Gomes,
Anikó Costa:
From Use Cases to System Implementation: Statechart Based Co-design.
MEMOCODE 2003: 24-33 |
