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.

A Compositional Monitoring Framework for Hard Real-Time Systems

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto. A Compositional Monitoring Framework for Hard Real-Time Systems. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Volume 8430 of Lecture Notes in Computer Science, pages 16-30, Springer, 2014. [doi]

Authors

André de Matos Pedro

This author has not been identified. Look up 'André de Matos Pedro' in Google

David Pereira

This author has not been identified. Look up 'David Pereira' in Google

Luís Miguel Pinho

This author has not been identified. Look up 'Luís Miguel Pinho' in Google

Jorge Sousa Pinto

This author has not been identified. Look up 'Jorge Sousa Pinto' in Google
runs on