Skip to Main Content
| Create Account
| Sign In
ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.
Date of Publication:
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.