Loading...
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
ULRR Identifiers
Funding code
Funding Information
Science Foundation Ireland (SFI)
