(1 - 3 von 3
)
Programm | Konferenz Software Engineering
se19.uni-stuttgart.de
Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch and Mirco Schindler: Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born and Jevgenij Huebert: Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation
sortiert nach Relevanz / Datum