External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

CSP specification and verification of relay-based railway interlocking systems

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. In Jiman Hong, Miroslav Bures, Juw Won Park, Tomás Cerný, editors, SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. pages 97-106, ACM, 2022. [doi]

Authors

D. I. de Almeida Pereira

This author has not been identified. Look up 'D. I. de Almeida Pereira' in Google

M. V. M. Oliveira

This author has not been identified. Look up 'M. V. M. Oliveira' in Google

P. E. R. Bezerra

This author has not been identified. Look up 'P. E. R. Bezerra' in Google

Philippe Bon

This author has not been identified. Look up 'Philippe Bon' in Google

Simon Collart Dutilleul

This author has not been identified. Look up 'Simon Collart Dutilleul' in Google
runs on