bibtex

@incollection{BGM+06,
    title = {La bo{\^i}te \`a outils {IF} pour la mod\'elisation et la v\'erification de syst\`emes temps r\'eel },
    author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian},
    year = {2006},
    booktitle = {Syst\`emes temps r\'eel : techniques de description et de v\'erification},
    chapter = {9},
    publisher = {Hermes, Lavoisier},
    series = {Trait\'e IC2, s\'erie Informatique et syst\`emes d'information},
    volume = {1},
    team = {DCS,PACSS},
}


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

info visites 4201324