bibtex

@inproceedings{DFG+8,
    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 = {axe_Mohytos, TEMPO},
}


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

info visites 4181386