 | 2009 |
|---|
| 3 |       | Paul Regnier,
George Lima,
Aline Maria Santos Andrade:
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.
Electr. Notes Theor. Comput. Sci. 240: 221-238 (2009) |
| 2008 |
|---|
| 2 | | 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 |
