Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms

Schürr, AndySchaefer, InaKaragiannis, DimitrisVogelsang, AndreasMéndez, DanielSeidl, Christoph2018-01-232018-01-232018978-3-88579-674-9https://dl.gi.de/handle/20.500.12116/14934enGraph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation AlgorithmsText/Conference Paper1617-5468