Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms
Author:
- Citation
- BibTeX
Schürr, A.,
(2018).
Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
In:
Schaefer, I., Karagiannis, D., Vogelsang, A., Méndez, D. & Seidl, C.
(Hrsg.),
Modellierung 2018.
Bonn:
Gesellschaft für Informatik e.V..
(S. 15-15).
@inproceedings{mci/Schürr2018,
author = {Schürr, Andy},
title = {Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms},
booktitle = {Modellierung 2018},
year = {2018},
editor = {Schaefer, Ina AND Karagiannis, Dimitris AND Vogelsang, Andreas AND Méndez, Daniel AND Seidl, Christoph} ,
pages = { 15-15 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Schürr, Andy},
title = {Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms},
booktitle = {Modellierung 2018},
year = {2018},
editor = {Schaefer, Ina AND Karagiannis, Dimitris AND Vogelsang, Andreas AND Méndez, Daniel AND Seidl, Christoph} ,
pages = { 15-15 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Dateien | Groesse | Format | Anzeige | |
---|---|---|---|---|
modellierung2018-keynote-01.pdf | 46.81Kb | View/ |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-674-9
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2018
Language:
(en)

Content Type: Text/Conference Paper