Skip to main content

1 Result(s)

within Artificial Intelligence Remove this filter Software Engineering Remove this filter Colin Snook Remove this filter Conference Paper 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