TU Darmstadt / ULB / TUbiblio

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

Schürr, Andy
Schaefer, Ina and Karagiannis, Dimitris and Vogelsang, Andreas and Méndez, Daniel and 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
[Conference or Workshop Item] , (2018)

Official URL: https://dl.gi.de/handle/20.500.12116/14934
Item Type: Conference or Workshop Item
Erschienen: 2018
Editors: Schaefer, Ina and Karagiannis, Dimitris and Vogelsang, Andreas and Méndez, Daniel and Seidl, Christoph
Creators: Schürr, Andy
Title: Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms
Language: English
Title of Book: Modellierung 2018
Series Name: Modellierung
Volume: P-280
Place of Publication: Bonn
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology > Subproject A1: Modelling
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet
18 Department of Electrical Engineering and Information Technology
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
DFG-Collaborative Research Centres (incl. Transregio)
Date Deposited: 19 Mar 2018 11:44
Official URL: https://dl.gi.de/handle/20.500.12116/14934
Export:

Optionen (nur für Redakteure)

View Item View Item