Projects

MDE Artifacts

Quality Guidelines for Research Artifacts in Model-Driven Engineering

RBAC-BT

RBAC-based testing using Finite State Machines (FSM)