Karla Vanessa Morris Wright

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Formal Languages

Argumentation Semantics

Access Control Policies

Event Recognition

Top Venues

Publications

Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler
Semantics Formalisation - From Event-B Contexts to Theories. ABZ (2024)
Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. ICTAC (2023)