A Toolchain for Model-based Design and Testing of Access Control Systems.

Said Daoudagh, Donia El Kateb, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi

Browse the full MODELSWARD paper archive.