An Industrial Application of Model Checking to a Vessel Control System

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]

Abstract

Abstract is missing.