| |
| 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 |
| 1 | Stéphane Julia | [4] |
| 2 | Jos L. M. Vrancken | [1] [2] [3] [4] [5] |