Verimag

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

Publication Sections


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

info visites 911984