An Industrial Application of Model Checking to a Vessel Control System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Keating, Allan McInnes, Michael Hayes. An Industrial Application of Model Checking to a Vessel Control System. In Sixth IEEE International Symposium on Electronic Design, Test and Application, DELTA 2011, Queenstown, New Zealand, 17-19 January, 2011. pages 83-88, IEEE, 2011. [doi]

This author has not been identified. Look up 'Daniel Keating' in GoogleThis author has not been identified. Look up 'Allan McInnes' in GoogleThis author has not been identified. Look up 'Michael Hayes' in Google

runs on WebDSL