A first approach to the closed-form specification and analysis of an autonomic control system
You are here
| Title | A first approach to the closed-form specification and analysis of an autonomic control system |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Dobson S, Bailey E, Knox S, Shannon R, Quigley A |
| Conference Name | 12th IEEE International Conference on Engineering Complex Computer Systems12th IEEE International Conference on Engineering Complex Computer Systems |
| Date Published | 2007 |
| Conference Location | Auckland, NZ |
| URL | https://sharepoint.lero.ie/Publications/2007/Conferences/2007-Conference-Dobson-A%20first%20approach%20to%20the%20closed-form%20specification%20and%20analysis%20of%20an%20autonomic%20control%20system.pdf |
