The 14th Overture Workshop: Towards Analytical Tool Chains

Authors
Publication date
1 November 2016
Publisher
Department of Engineering, Aarhus University

Abstract

This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Tidsskrift.dk (Det Kongelige Bibliotek)

    redirect
    oaioai:ojs.tidsskrift.dk:article/...
    Last time updated on 29/10/2019