A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams

  • Vitus S. W. Lam

Student thesis: Doctoral ThesisPhD

Date of Award24 Apr 2006
Original languageEnglish
Awarding Institution
  • University of Bath
SupervisorJulian Padget (Supervisor)

Cite this

'