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.

Towards a Runtime Verification Approach for Internet of Things Systems

Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca. Towards a Runtime Verification Approach for Internet of Things Systems. In Cesare Pautasso, Fernando Sánchez-Figueroa, Kari Systä, Juan Manuel Murillo Rodriguez, editors, Current Trends in Web Engineering - ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers. Volume 11153 of Lecture Notes in Computer Science, pages 83-96, Springer, 2018. [doi]

Authors

Maurizio Leotta

This author has not been identified. Look up 'Maurizio Leotta' in Google

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Luca Franceschini

This author has not been identified. Look up 'Luca Franceschini' in Google

Dario Olianas

This author has not been identified. Look up 'Dario Olianas' in Google

Marina Ribaudo

This author has not been identified. Look up 'Marina Ribaudo' in Google

Filippo Ricca

This author has not been identified. Look up 'Filippo Ricca' in Google
runs on