bibtex

@inproceedings{SAB+6,
    title = { A Model-Based Approach to Secure Multiparty Distributed Systems },
    author = {Said, Najah Ben and Abdellatif, Takoua and Bensalem, Saddek and Bozga, Marius},
    year = {2016},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa},
    pages = {893--908},
    team = {DCS, RSD},
}

URL


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

info visites 4188306