External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

System modelling for run-time verification and validation of autonomous systems

Glenn Callow, Graham Watson, Roy Kalawsky. System modelling for run-time verification and validation of autonomous systems. In 5th International Conference on System of Systems Engineering, SoSE 2010, Loughborough, UK, 22-24 June, 2010. pages 1-7, IEEE, 2010. [doi]

Authors

Glenn Callow

This author has not been identified. Look up 'Glenn Callow' in Google

Graham Watson

This author has not been identified. Look up 'Graham Watson' in Google

Roy Kalawsky

This author has not been identified. Look up 'Roy Kalawsky' in Google
runs on