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},
}


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

info visites 4190393