TitleSoftware Verification of Autonomic Systems Developed with ASSL
Publication TypeBook Chapter
Year of Publication2011
AuthorsVassev E, Hinchey M
Book TitleProceedings of the 16th Monterey Workshop on Modeling - Monterey Workshops 2010Proceedings of the 16th Monterey Workshop on Modeling - Monterey Workshops 2010
Date Published2011
Publication Languageeng
URLhttp://ulir.ul.ie/handle/10344/1784