Specification, verification, and quantification of security in model-based systems
Crossref DOI link: https://doi.org/10.1007/s00607-015-0445-x
Published Online: 2015-02-28
Published Print: 2015-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ouchani, Samir
Debbabi, Mourad
Text and Data Mining valid from 2015-02-28