Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3

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: Dana Dghaym, Michael Poppleton, Colin Snook

Journal title: Abstract State Machines, Alloy, B, TLA, VDM, and Z

Journal number: 10817

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 338-352

DOI identifier: 10.1007/978-3-319-91271-4_23

ISBN: 978-3-319-91270-7