Joabe Jesus
Joabe Jesus
Professor of Computer Engineering, University of Pernambuco (UPE)
Verified email at - Homepage
Cited by
Cited by
Evolving a safe system design iteratively
A Mota, J Jesus, A Gomes, F Ferri, E Watanabe
Computer Safety, Reliability, and Security, 361-374, 2010
Architectural verification of control systems using CSP
J Jesus, A Mota, A Sampaio, L Grijo
Formal Methods and Software Engineering, 323-339, 2011
A Joint Formalisation of UML and OCL
J Jesus, R Borges, R Duarte, A Mota
The system can't perform the operation now. Try again later.
Articles 1–3