Skip to main content

2 Result(s)

within Article Remove this filter Colin Snook 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.

A method of refinement in UML-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

  2. Article

    Open Access

    Systematic hierarchical analysis of requirements for critical systems

    Safety and security are key considerations in the design of critical systems. Requirements analysis methods rely on the expertise and experience of human intervention to make critical judgements. While human j...

    Asieh Salehi Fathabadi, Colin Snook… in Innovations in Systems and Software Engine… (2024)

    Download PDF (4499 KB) View Article