CADS*: Computer-Aided Development of self-* systems

Part of book or chapter of book English OPEN
Calinescu, Radu C.; Kwiatkowska, Marta Z.;
  • Publisher: Springer

We present the prototype tool CADS* for the computer-aided development of an important class of self-* systems, namely systems whose components can be modelled as Markov chains. Given a Markov chain representation of the IT components to be included into a self-* system... View more
Share - Bookmark