Dobson, Simon
(IEEE Computer Society, 2008)
While it is desirable for all computing and communications systems to have well-defined and verifiable behaviour, autonomic systems must additionally guarantee that their adaptive behaviour is correct, both in the sense ...