bibtex

@inbook{TD9,
    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 = {axe_Mohytos, TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4137313