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.

RVPLAN: a general purpose framework for replanning using runtime verification

Angelo Ferrando, Rafael C. Cardoso. RVPLAN: a general purpose framework for replanning using runtime verification. In Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza, editors, VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. pages 22-25, ACM, 2021. [doi]

Authors

Angelo Ferrando

This author has not been identified. Look up 'Angelo Ferrando' in Google

Rafael C. Cardoso

This author has not been identified. It may be one of the following persons: Look up 'Rafael C. Cardoso' in Google
runs on