View all research projects
Research project

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

Staff

Lead researchers

Professor Michael Butler

Dean (Engineering & Physical Sciences)
Connect with Michael

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

Research outputs

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