A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams

Authors
Publication date
1 January 2006
Publisher
Department of Computer Science, University of Bath

Abstract

EThOS - Electronic Theses Online ServiceGBUnited Kingdo

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Supporting member

    OPUS

    redirect
    oaioai:purehost.bath.ac.uk:public...
    Last time updated on 02/01/2019

    OpenGrey Repository

    redirect
    Last time updated on 14/06/2016
    Supporting member

    OPUS

    redirect
    oaioai:purehost.bath.ac.uk:studen...
    Last time updated on 11/11/2022