Skip to main content

1 Result(s)

within Computer Science Remove this filter Theory of Computation Remove this filter Mohammadsadegh Dalvandi Remove this filter

and
Your search also matched 1 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B

Include preview-only content

  1. Article

    Open Access

    Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

    We demonstrate refinement-based formal development of the hybrid, ‘fixed virtual block’ approach to train movement control for the emerging European Rail Traffic Management System (ERTMS) level 3. Our approach us...

    Dana Dghaym, Mohammadsadegh Dalvandi… in International Journal on Software Tools fo… (2020)

    Download PDF (1631 KB) View Article