| Document Date: 2011-11-08 14:36:31
Open Document File Size: 681,78 KBShare Result on Facebook
City Paderborn / Multiport / Dortmund / / Company B B AB / Timed Graph Transformation Systems / Graph Transformation Systems / cSc / ActiveState AB / / Country Germany / / / Facility University of Paderborn / port Delegat / Heinz Nixdorf Institute University of Paderborn Warburger Str. / Delegation port / / IndustryTerm software structure / energy consumption / multi-port protocols / software reconfiguration / coordination protocols / transformation systems / networked embedded systems / refined protocol / embedded software / control software / abstract protocol / computing / real-time coordination / real-time behavior / real-time statechart / rule applications / real-time operations / self-adaptive systems / linear drive technology / software systems / / Organization University of Paderborn / Collaborative Research Center / Institute for Software / Heinz Nixdorf Institute University of Paderborn Warburger Str. / / Person Figure / Ai / Stefan Henkler Martin / / Position guard / model / coordinator / head / convoy leader / time guard / / TVStation WCET / / Technology refined protocol / coordination protocols / abstract protocol / multi-port protocols / correctly refined protocol / linear drive technology / / URL http /
SocialTag |
Refinement Checking of Self-Adaptive Embedded Component Architectures∗ Christian Heinzemann, Stefan Henkler Martin Hirsch