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.

Copilot: A Hard Real-Time Runtime Monitor

Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller. Copilot: A Hard Real-Time Runtime Monitor. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 345-359, Springer, 2010. [doi]

Authors

Lee Pike

This author has not been identified. Look up 'Lee Pike' in Google

Alwyn Goodloe

This author has not been identified. Look up 'Alwyn Goodloe' in Google

Robin Morisset

This author has not been identified. Look up 'Robin Morisset' in Google

Sebastian Niller

This author has not been identified. Look up 'Sebastian Niller' in Google
runs on