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.

Monitoring Cumulative Cost Properties

Omar Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran. Monitoring Cumulative Cost Properties. In 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. pages 19-30, IEEE, 2021. [doi]

Authors

Omar Al-Bataineh

This author has not been identified. Look up 'Omar Al-Bataineh' in Google

Daniel Jun Xian Ng

This author has not been identified. Look up 'Daniel Jun Xian Ng' in Google

Arvind Easwaran

This author has not been identified. Look up 'Arvind Easwaran' in Google
runs on