Runtime Verification for Decentralised and Distributed Systems

Adrian Francalanza, Jorge A. Pérez, César Sánchez

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

51 Citations (Scopus)
673 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Runtime Verification for Decentralised and Distributed Systems'. Together they form a unique fingerprint.

Computer Science

Keyphrases