Stem avantssar$ (all stems)

1 papers:

TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #security #trust #validation

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.