TitleDeveloping Autonomic Systems with ASSL - Theory and Practice
Publication TypeBook Chapter
Year of Publication2012
AuthorsVassev E
Book TitleFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and VerificationFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification
Date Published2012
PublisherIGI Global
Publication Languageeng