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 a Relay-Based Railway Interlocking System

P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira. CSP Specification and Verification of a Relay-Based Railway Interlocking System. In Haniel Barbosa, Yoni Zohar, editors, Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings. Volume 14414 of Lecture Notes in Computer Science, pages 36-54, Springer, 2023. [doi]

Authors

P. E. R. Bezerra

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

Marcel Vinícius Medeiros Oliveira

This author has not been identified. Look up 'Marcel Vinícius Medeiros Oliveira' in Google

Thierry Lecomte

This author has not been identified. Look up 'Thierry Lecomte' in Google

Dalay Israel de Almeida Pereira

This author has not been identified. Look up 'Dalay Israel de Almeida Pereira' in Google
runs on