DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems

Authors
Publication date
1 January 2002
Publisher
Springer Verlag

Abstract

International audienceno abstrac

    Similar works

    Full text

    thumbnail-image

    Available Versions

    HAL AMU

    redirect
    oaioai:HAL:hal-01479668v1
    Last time updated on 13/04/2017

    Archive Ouverte en Sciences de l'Information et de la Communication

    redirect
    oaioai:HAL:hal-01479668v1
    Last time updated on 02/03/2017