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

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]

@inproceedings{Schurr18,
  title = {Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms},
  author = {Andy Schürr},
  year = {2018},
  url = {https://dl.gi.de/20.500.12116/14934},
  researchr = {https://researchr.org/publication/Schurr18},
  cites = {0},
  citedby = {0},
  pages = {15},
  booktitle = {Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany},
  editor = {Ina Schaefer and Dimitris Karagiannis and Andreas Vogelsang and Daniel Méndez and Christoph Seidl},
  volume = {P-280},
  series = {LNI},
  publisher = {Gesellschaft für Informatik e.V.},
  isbn = {978-3-88579-674-9},
}