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.

Stream Runtime Monitoring on UAS

Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens. Stream Runtime Monitoring on UAS. In Shuvendu K. Lahiri, Giles Reger, editors, Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Volume 10548 of Lecture Notes in Computer Science, pages 33-49, Springer, 2017. [doi]

Authors

Florian-Michael Adolf

This author has not been identified. Look up 'Florian-Michael Adolf' in Google

Peter Faymonville

This author has not been identified. Look up 'Peter Faymonville' in Google

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google

Sebastian Schirmer

This author has not been identified. Look up 'Sebastian Schirmer' in Google

Christoph Torens

This author has not been identified. Look up 'Christoph Torens' in Google
runs on