The ASSL Approach to Specifying Self-Managing Embedded Systems
You are here
| Title | The ASSL Approach to Specifying Self-Managing Embedded Systems |
| Publication Type | Journal Article |
| Year of Publication | 2011 |
| Authors | Vassev E, Hinchey M |
| Journal | Concurrency and Computation: Practice and Experience |
| Date Published | 2011 |
| URL | http://ulir.ul.ie/handle/10344/1778 |
