Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Butler
conf.researchr.org general profile
FM 2026 profile
Not registered as user
Name:
Michael Butler
Affiliation:
University of Southampton
Contributions
2026
FM
Committee Member in Tutorial Track Committee within the Tutorials-track
Selection Committee Member in Journal-First Track Selection Committee within the Journal First-track
Author of SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems within the ABZ-track
Share
x
Wed 24 Jun 09:25