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

Publikationstyp
Konferenz
Autor(en)
Schwab, Stefan and Stark, Oliver and Hohmann, Soeren
Jahr
2017
Buchtitel
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory
Download .bib
Download .bib
Eingetragen von
Stefan Schwab