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.

Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems

Julius Adelt, Robert Mensing, Paula Herber. Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. In Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 0001, editors, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Volume 14934 of Lecture Notes in Computer Science, pages 208-228, Springer, 2024. [doi]

Authors

Julius Adelt

This author has not been identified. Look up 'Julius Adelt' in Google

Robert Mensing

This author has not been identified. Look up 'Robert Mensing' in Google

Paula Herber

This author has not been identified. Look up 'Paula Herber' in Google
runs on