M. V. M. Oliveira

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Automated Verification

Complex Systems

Top Venues

Publications

D. I. de Almeida Pereira, M. V. M. Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul
CSP specification and verification of relay-based railway interlocking systems. SAC (2022)