Login / Signup
Karla Vanessa Morris Wright
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Formal Languages
Access Control Policies
Top Venues
ICTAC
</>
Publications
</>
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)