Skip to main content

2 Result(s)

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

and

  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

  2. No Access

    Chapter and Conference Paper

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

    The guarded atomic action model of Event-B allows it to be applied to a range of systems including sequential, concurrent and distributed systems. However, the lack of explicit sequential structures in Event-B...

    Mohammadsadegh Dalvandi, Michael Butler… in Formal Methods. FM 2019 International Work… (2020)