1 Treffer mit Thema „Formale Methoden" · Themen-Filter entfernen
Prof. Weidlich erforscht die automatisierte Analyse und Validierung von Datenanalyseworkflows – also der Prozesse, mit denen Wissenschaftler und Unternehmen große Datenmengen verarbeiten und auswerten.
