Verimag

bibtex

@inproceedings{SAB+14,
    title = {Model-driven Information Flow Security for Component-Based Systems },
    author = {Said, Najah Ben and Abdellatif, Takoua and Bensalem, Saddek and Bozga, Marius},
    month = {April},
    year = {2014},
    booktitle = {Proceedings of FPS'14 - From Programs to Systems - The Systems Perspective in Computing, ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8415},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 895806