Philipp Haller

Erfahre, wie verifizierte APIs die Zuverlässigkeit und Leistung von SDN verbessern.

Ein formeller Ansatz, um Zuverlässigkeit in zustandsbehafteten Datenfluss-Systemen wie Apache Flink zu gewährleisten.