Accueil > Verimag > Publications

bibtex

@inbook{TD09,
    title = {Model-based Design of Heterogeneous Systems },
    author = {Tripakis, Stavros and Dang, Thao},
    year = {2009},
    chapter = {Modeling, Verification and Testing using Timed and Hybrid Automata},
    publisher = {CRC Press},
    team = {TEMPO},
}