Skip to main content

2 Result(s)

within Colin Snook Remove this filter Artificial Intelligence Remove this filter Software Engineering Remove this filter

and
Your search also matched 4 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 Practical Approach for Closed Systems Formal Verification Using Event-B

Include preview-only content

  1. Chapter and Conference Paper

    Refinement and Verification of Responsive Control Systems

    Statechart notations with ‘run to completion’ semantics, are popular with engineers for designing controllers that respond to events in the environment with a sequence of state transitions. However, they lack ...

    Karla Morris, Colin Snook, Thai Son Hoang, Geoffrey Hulette… in Rigorous State-Based Methods (2020)

    Download PDF (179 KB) View Chapter

  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