Select country:
UK
India

View all research projects

Research project

H2020 - ENABLE-S3 - ECSEL-2015-1-RIA - Butler

Lead researchers:

Professor Michael Butler
Research funder:

EPSRC
Status:

Not active

Staff

Lead researchers

Professor Michael Butler

Professor Michael Butler

Dean of Engineering and Physical Science

Connect with Michael

Email: M.J.Butler@soton.ac.uk

Research outputs

A composition mechanism for refinement-based methods

Thai Son Hoang, Dana Dghaym, Colin Snook & Michael Butler, 2018

DOI: 10.1109/ICECCS.2017.27

Type: conference

Behaviour-driven formal model development

Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler, Tomas Fischer, Rupert Schlick & Keming Wang, 2018

DOI: 10.1007/978-3-030-02450-5_2

Type: conference

Formal modelling techniques for efficient development of railway control products

Michael Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook & Peter Tummeltshammer, 2017

DOI: 10.1007/978-3-319-68499-4_5

Type: conference

Class diagrams for Abstract Data Types

Thai Son Hoang, Colin Snook, Dana Dghaym & Michael Butler, 2017

DOI: 10.1007/978-3-319-67729-3_7

Type: conference

Analysing security protocols using refinement in iUML-B

Colin Snook, Thai Son Hoang & Michael Butler, 2017

DOI: 10.1007/978-3-319-57288-8_6

Type: bookChapter