| |
| 2008 | ||
|---|---|---|
| 2 | 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) |
| 2005 | ||
| 1 | Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva: Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings Springer 2005 | |
| 1 | Frederico J. R. Barboza | [2] |
| 2 | George Lima | [2] |
| 3 | Carlos Maziero (Carlos Alberto Maziero) | [1] |
| 4 | Flávio Morais de Assis Silva | [1] [2] |
| 5 | João Gabriel Silva | [1] |