Search Results

(Find other images)
ImageContained in Bundle
Basic SHARE image
Description: Basic VM for demonstrating the model-driven development of correct-by-construction Topology Control algorithms
Real-Time Systems Lab Darmstadt
cMoflon@ECMFA2017
Description: Basic VM for demonstrating the model-driven development of correct-by-construction Topology Control algorithms
Real-Time Systems Lab Darmstadt
CorrectByConstructionTC_JVLC
Description: Demonstrator for the paper "A Systematic Approach to Constructing Incremental Topology Control Algorithms Using Graph Transformation", Journal of Visual Languages and Computing, 2016 (http://dx.doi.org/10.1016/j.jvlc.2016.10.003) For more information, please see https://github.com/Echtzeitsysteme/CorrectByConstructionTC-JVLC16/
Real-Time Systems Lab Darmstadt
CorrectByConstructionTC_SoSyM
Description: Demonstrator for the paper "A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation" For more information, please see https://github.com/Echtzeitsysteme/CorrectByConstructionTCFamilies-SoSyM17
Real-Time Systems Lab Darmstadt
SHARE Logo