OMEGA “Correct Development of Real-Time Embedded

Authors
Publication date
Publisher

Abstract

Supporting UML-based development of embedded systems by formal technique

    Similar works

    Full text

    thumbnail-image

    Available Versions

    CiteSeerX

    redirect
    oaioai:CiteSeerX.psu:10.1.1.94.87...
    Last time updated on 23/10/2014