Software Verification of Autonomic Systems Developed with ASSL
You are here
| Title | Software Verification of Autonomic Systems Developed with ASSL |
| Publication Type | Book Chapter |
| Year of Publication | 2011 |
| Authors | Vassev E, Hinchey M |
| Book Title | Proceedings of the 16th Monterey Workshop on Modeling - Monterey Workshops 2010Proceedings of the 16th Monterey Workshop on Modeling - Monterey Workshops 2010 |
| Date Published | 2011 |
| Publication Language | eng |
| URL | http://ulir.ul.ie/handle/10344/1784 |
