Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms
Autor(en):
- Vollständige Referenz
- 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 | Größe | Format | Anzeige | |
---|---|---|---|---|
modellierung2018-keynote-01.pdf | 46.81Kb | Öffnen |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISBN: 978-3-88579-674-9
ISSN: 1617-5468
Datum: 2018
Sprache:
(en)

Typ: Text/Conference Paper