Verimag

bibtex

@article{MR03,
    title = {Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems },
    author = {Maraninchi, Florence and R\'emond, Yann},
    year = {2003},
    journal = {Science of Computer Programming},
    number = {3},
    pages = {219-254},
    publisher = {Elsevier},
    volume = {46},
    team = {SYNC},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 778506