Verimag

bibtex

@inproceedings{NP09a,
    title = {"Certfication of Smart-Card Applications in Common Criteria: Proving Representation Correspondences" },
    author = {Narasamdya, Iman and P\'erin, Micha\"el},
    year = {2009},
    booktitle = {Fundamental Approaches to Software Engineering},
    note = {(FASE'09)},
    pages = {309--324},
    publisher = {Springer-Verlag},
    series = {LNCS},
    volume = {5503},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 875956