Andy Schürr. Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms. In Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl, editors, Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany. Volume P-280 of LNI, pages 15, Gesellschaft für Informatik e.V., 2018. [doi]
Abstract is missing.