| |
| 2008 | ||
|---|---|---|
| 2 | EE | George Lima, Eduardo Camponogara, Ana Carolina Sokolonski: Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS 2008: 115-124 |
| 1 | EE | Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima: Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electr. Notes Theor. Comput. Sci. 195: 3-20 (2008) |
| 1 | Aline Maria Santos Andrade | [1] |
| 2 | Frederico J. R. Barboza | [1] |
| 3 | Eduardo Camponogara | [2] |
| 4 | Flávio Morais de Assis Silva | [1] |
| 5 | Ana Carolina Sokolonski | [2] |