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

Publikationstyp
Konferenz
Autor(en)
Schwab, Stefan and Stark, Oliver and Hohmann, Soeren
Zeitschrift
Proceedings of the 20th IFAC World Congress
Jahr
2017
Download .bib
Download .bib
Eingetragen von
Stefan Schwab