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.

Formal Verification of Robustness

Niels Thole, Görschwin Fey. Formal Verification of Robustness. In Rolf Drechsler, Ulrich Kühne, editors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. pages 305-307, Springer, 2015. [doi]

Authors

Niels Thole

This author has not been identified. Look up 'Niels Thole' in Google

Görschwin Fey

This author has not been identified. Look up 'Görschwin Fey' in Google
runs on