Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetic

Resource type
Conference
Author(s)
Schwab, Stefan and Stark, Oliver and Hohmann, Soeren
Journal
Proceedings of the 20th IFAC World Congress
Year
2017
Download .bib
Download .bib
Published by
Stefan Schwab