Complexity Reduction in Developing Autonomic Systems with ASSL.

Emil Vassev, Mike Hinchey

Browse the full SEW paper archive.