Code Generation for Autonomic Systems with ASSL.

Emil Vassev

Browse the full SERA paper archive.