33843 articles – 26709 Notices  [english version]
.:. Consultation > Par auteur > Arsac .:.
1 document

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Armando A., Arsac W., Avanesov T., Barletta M., Calvi A., Cappai A., Carbone R., Chevalier Y., Compagna L., Cuellar J. et al
Dans Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012 7214 (2012) 267-282 [hal-00759725 - version 1]