Követés
Joabe Jesus
Joabe Jesus
Professor of Computer Engineering, University of Pernambuco (UPE)
E-mail megerősítve itt: ecomp.poli.br - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Evolving a safe system design iteratively
A Mota, J Jesus, A Gomes, F Ferri, E Watanabe
Computer Safety, Reliability, and Security: 29th International Conference …, 2010
132010
Architectural verification of control systems using CSP
J Jesus, A Mota, A Sampaio, L Grijo
Formal Methods and Software Engineering: 13th International Conference on …, 2011
92011
Compositional Verification of Simulink Block Diagrams Using tock- and CSP-Prover
J Jesus, A Sampaio
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF …, 2022
32022
A systematic strategy to perform quantitative safety assessment of Simulink diagrams using Prism-Technical Report
A Gomes, A Mota, A Sampaio, J Jesus
Universidade Federal de Pernambuco, 1-33, 2010
12010
A Joint Formalisation of UML and OCL
J Jesus, R Borges, R Duarte, A Mota
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–5