| 2008 |
|---|
| 5 | EE | Michel dos Santos Soares,
Jos L. M. Vrancken:
Model-Driven User Requirements Specification using SysML.
JSW 3(6): 57-68 (2008) |
| 4 | EE | Michel dos Santos Soares,
Stéphane Julia,
Jos L. M. Vrancken:
Real-time scheduling of batch systems using Petri nets and linear logic.
Journal of Systems and Software 81(11): 1983-1996 (2008) |
| 2007 |
|---|
| 3 | EE | Michel dos Santos Soares,
Jos L. M. Vrancken:
Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic.
ICNSC 2007: 169-174 |
| 2 | EE | Michel dos Santos Soares,
Jos L. M. Vrancken:
Requirements specification and modeling through SysML.
SMC 2007: 1735-1740 |
| 1 | EE | Jos L. M. Vrancken,
Michel dos Santos Soares:
Multi-level control of networks: the case of road traffic control.
SMC 2007: 1741-1745 |
