Joabe Jesus

2010201120122013201420152016201720182019202020212022202320241 1 9 2 2 3 2 3 3

Joabe Jesus

Professor of Computer Engineering, University of Pernambuco (UPE)

Verifierad e-postadress på ecomp.poli.br - Startsida


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	13	2010
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	9	2011
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	3	2022
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	1	2010
A Joint Formalisation of UML and OCL J Jesus, R Borges, R Duarte, A Mota

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–5

Citat per år