Auflistung nach Autor:in "Schindler, Mirco"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragQuality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification(Software Engineering and Software Management 2019, 2019) Ehlers, Rüdiger; Grieser, Jörg; Knieke, Christoph; Rausch, Andreas; Schindler, Mirco