Requirements of a model-driven methodology and tool-chain for the design and verification of hierarchical controllers of an autonomic network

Prakash, A.A.PrakashChaparadza, R.R.ChaparadzaTheisz, Z.Z.Theisz2022-03-112022-03-112010https://publica.fraunhofer.de/handle/publica/36796410.1109/CTRQ.2010.42en004Requirements of a model-driven methodology and tool-chain for the design and verification of hierarchical controllers of an autonomic networkconference paper