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.

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo. Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Volume 9953 of Lecture Notes in Computer Science, pages 297-314, 2016. [doi]

Authors

Franco Mazzanti

This author has not been identified. Look up 'Franco Mazzanti' in Google

Alessio Ferrari

This author has not been identified. Look up 'Alessio Ferrari' in Google

Giorgio Oronzo Spagnolo

This author has not been identified. Look up 'Giorgio Oronzo Spagnolo' in Google
runs on