TU Darmstadt / ULB / TUbiblio

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

Schürr, Andy
Schaefer, Ina ; Karagiannis, Dimitris ; Vogelsang, Andreas ; Méndez, Daniel ; Seidl, Christoph (eds.) :

Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
[Online-Edition: https://dl.gi.de/handle/20.500.12116/14934]
In: Modellierung , P-280 . Bonn
[Konferenz- oder Workshop-Beitrag], (2018)

Offizielle URL: https://dl.gi.de/handle/20.500.12116/14934
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2018
Herausgeber: Schaefer, Ina ; Karagiannis, Dimitris ; Vogelsang, Andreas ; Méndez, Daniel ; Seidl, Christoph
Autor(en): Schürr, Andy
Titel: Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms
Sprache: Englisch
Buchtitel: Modellierung 2018
Reihe: Modellierung
Band: P-280
Ort: Bonn
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik > Teilprojekt A1: Modellierung
Hinterlegungsdatum: 19 Mär 2018 11:44
Offizielle URL: https://dl.gi.de/handle/20.500.12116/14934
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen