Karla Vanessa Morris Wright

According to our database, Karla Vanessa Morris Wright authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Semantics Formalisation - From Event-B Contexts to Theories.

Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2023

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.

Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023