Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"
Forschungsdaten: Datensatz › Messreihen
Personen und Einrichtungen
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Clemens Dubslaff - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Holger Hermanns - , Universität des Saarlandes (Urheber:in)
- Michaela Klauck - , Universität des Saarlandes (Urheber:in)
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Maximilian A. Köhl - , Universität des Saarlandes (Urheber:in)