Jorge Perez Parra

Search results

• 2018

  Runtime Verification for Decentralised and Distributed Systems

  Francalanza, A., Pérez, J. A. & Sánchez, C., Feb-2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer, p. 176-210 35 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File

  • Distributed Systems 100%
  • runtime verification 100%
  • Distributed Runtime Verification 66%
  • Characteristic Solution 33%
  • Distributed Platform 33%
  51 Citations (Scopus)

  672 Downloads (Pure)