Examples on Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetik

Resource type
Conference
Author(s)
Schwab, Stefan and Stark, Oliver and Hohmann, Soeren
Year
2017
Book title
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory
Download .bib
Download .bib
Published by
Stefan Schwab