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.

A Tool-Chain for the Verification of Geographic Scheme Data

Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner. A Tool-Chain for the Verification of Geographic Scheme Data. In Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Volume 14198 of Lecture Notes in Computer Science, pages 211-224, Springer, 2023. [doi]

Authors

Madhusree Banerjee

This author has not been identified. Look up 'Madhusree Banerjee' in Google

Victor Cai

This author has not been identified. Look up 'Victor Cai' in Google

Sunitha Lakshmanappa

This author has not been identified. Look up 'Sunitha Lakshmanappa' in Google

Andrew Lawrence

This author has not been identified. Look up 'Andrew Lawrence' in Google

Markus Roggenbach

This author has not been identified. Look up 'Markus Roggenbach' in Google

Monika Seisenberger

This author has not been identified. Look up 'Monika Seisenberger' in Google

Thomas Werner

This author has not been identified. Look up 'Thomas Werner' in Google
runs on