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.

The 4SECURail Formal Methods Demonstrator

Franco Mazzanti, Dimitri Belli. The 4SECURail Formal Methods Demonstrator. In Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Volume 13294 of Lecture Notes in Computer Science, pages 149-165, Springer, 2022. [doi]

Authors

Franco Mazzanti

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

Dimitri Belli

This author has not been identified. Look up 'Dimitri Belli' in Google
runs on