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

Schürr, Andy (2018): Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms. Modellierung 2018. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-674-9. pp. 15-15. Wissenschaftliche Beiträge. Braunschweig. 21.-23. Februar 2018