Metamodelling with Formal Semantics with Application to Access Control Specification.

Jamal Abd-Ali, Karim El Guemhioui, Luigi Logrippo

Browse the full MODELSWARD paper archive.