Verimag

bibtex

@inproceedings{MR00b,
    title = {Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata) },
    author = {Maraninchi, Florence and R\'emond, Yann},
    month = {apr},
    year = {2000},
    booktitle = {5th International Workshop on Formal Methods for Industrial Critical Systems ({FMICS})},
    address = {Berlin},
    publisher = {{\tt http://www.inrialpes.fr/vasy/fmics}},
    team = {SYNC},
}

Sections de Publications


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

info visites 914877