bibtex

@phdthesis{Ngu10b,
    title = { {Constructive Verification for Component-based Systems} },
    author = {Nguyen, Thanh-Hung},
    month = {May},
    year = {2010},
    type = {Theses},
    school = {{Institut National Polytechnique de Grenoble - INPG}},
    team = {DCS, RSD},
    keywords = {compositional verification ; incremental verification ; incremental design ; deadlock detection ; static analysis ; BIP ; v{\'e}rification compositionnelle ; verification incr{\'e}mentale ; conception incr{\'e}mentale ; invariant ; d{\'e}tection de blocage ; analyse statique ; D-Finder}, pdf = {https://tel.archives-ouvertes.fr/tel-00485933/file/thesis-hung-nguyen.pdf},
}

URL


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

info visites 3886025