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

V S W Lam

Research output: Book/ReportOther report

45 Downloads (Pure)
Original languageEnglish
PublisherDepartment of Computer Science, University of Bath
Publication statusPublished - Apr 2006

Publication series

NameComputer Science Technical Reports
No.CSBU-2006-04
ISSN (Print)1740-9497

Cite this