Joabe Jesus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2010–2011
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICFEM | Architectural Verification of Control Systems Using CSP. | Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo |
| 2010 | SAFECOMP | Evolving a Safe System Design Iteratively. | Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe A. S. Ferri, Edson H. Watanabe |