Verimag

bibtex

@inproceedings{OGO03,
    title = {Validating Timed {UML} models by simulation and verification },
    author = {Ober, Iulian and Graf, Susanne and Ober, Ileana},
    month = {oct},
    year = {2003},
    booktitle = {Workshop SVERTS on Specification and Validation of UML models for Real Time and Embedded Systems, a satellite event of UML 2003, San Francisco, October 2003},
    team = {DCS},
    abstract = {A more recent and complete version of this paper is published in STTT (see <a href=#Graf-Ober-STTT-04b>[OGO05]</a>).},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876021