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.

Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces

Davide Basile, Alessandro Fantechi, Irene Rosadi. Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. In Alberto Lluch-Lafuente, Anastasia Mavridou, editors, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12863 of Lecture Notes in Computer Science, pages 174-190, Springer, 2021. [doi]

Authors

Davide Basile

This author has not been identified. Look up 'Davide Basile' in Google

Alessandro Fantechi

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

Irene Rosadi

This author has not been identified. Look up 'Irene Rosadi' in Google
runs on