P. E. R. Bezerra

According to our database, P. E. R. Bezerra authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

CSP Specification and Verification of a Relay-Based Railway Interlocking System.

P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2022

CSP specification and verification of relay-based railway interlocking systems.

Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022