Verimag

bibtex

@incollection{Moy05b,
    title = { Chapter 5.9, Formal Verification },
    author = {Moy, Matthieu},
    year = {2005},
    booktitle = {Transaction-Level Modeling with {SystemC}. {TLM} Concepts and Applications for Embedded Systems},
    pages = {190--206},
    publisher = {Springer},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 842964