Menu
Home
Help and information
About this website
Privacy Policy
Vitus S. W. Lam
1 published title
A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
1 edition
University of Bath, Department of Computer Science
2006
Details