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.

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets

Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini. Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. In Clark Barrett, Misty Davies, Temesghen Kahsai, editors, NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Volume 10227 of Lecture Notes in Computer Science, pages 115-130, 2017. [doi]

Authors

Matteo Camilli

This author has not been identified. Look up 'Matteo Camilli' in Google

Angelo Gargantini

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

Patrizia Scandurra

This author has not been identified. Look up 'Patrizia Scandurra' in Google

Carlo Bellettini

This author has not been identified. Look up 'Carlo Bellettini' in Google
runs on