Towards Provably Correct System Synthesis and Extension

Authors
Publication date
Publisher

Abstract

This paper describes the approach, what we have done so far and how we intend to proceed to pursue our ultimate goal

    Similar works

    Full text

    thumbnail-image

    Available Versions

    CiteSeerX

    redirect
    oaioai:CiteSeerX.psu:10.1.1.57.59...
    Last time updated on 22/10/2014