Formal Modelling Techniques for Efficient Development of Railway Control Products

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: M. Butler, D. Dghaym, T. Fischer, T. S. Hoang, K. Reichl, C. Snook, P. Tummeltshammer

Journal title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Journal number: 10598

Journal publisher: Springer International Publishing

Published year: 2017

Published pages: 71-86

DOI identifier: 10.1007/978-3-319-68499-4_5

ISBN: 978-3-319-68498-7