Sciweavers

ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
13 years 8 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...