Loading...
Thumbnail Image
Publication

ASSL: a software engineering approach to autonomic computing

Date
2009
Abstract
ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
IEEE Computer;42/6/pp.90-93