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.

Validation of Railway Interlocking Systems by Formal Verification, A Case Study

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani. Validation of Railway Interlocking Systems by Formal Verification, A Case Study. In Steve Counsell, Manuel Núñez, editors, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Volume 8368 of Lecture Notes in Computer Science, pages 237-252, Springer, 2013. [doi]

Authors

Andrea Bonacchi

This author has not been identified. Look up 'Andrea Bonacchi' in Google

Alessandro Fantechi

This author has not been identified. Look up 'Alessandro Fantechi' in Google

Stefano Bacherini

This author has not been identified. Look up 'Stefano Bacherini' in Google

Matteo Tempestini

This author has not been identified. Look up 'Matteo Tempestini' in Google

Leonardo Cipriani

This author has not been identified. Look up 'Leonardo Cipriani' in Google
runs on