Verimag

bibtex

@inproceedings{DFG+08,
    title = {Outils pour l'analyse des mod\`eles hybrides },
    author = {Dang, Thao and Frehse, Goran and Girard, Antoine and Le Guernic, Colas},
    year = {2008},
    booktitle = {Approches formelles des syst\`emes embarqu\'e communicants},
    pages = {245--268},
    publisher = {Hermes Lavoisier},
    series = {Trait\'e IC2, s\'erie Informatique et syst\`emes d'information},
    team = {TEMPO},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 13 ; visits: 449104