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

V S W Lam

Research output: Book/Report › Other report

104 Downloads (Pure)

Original language	English
Publisher	Department of Computer Science, University of Bath
Publication status	Published - Apr 2006

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

ID number: CSBU-2006-04

Access to Document

@book{e89b421c7db84cf59fb34c3d46156f4d,

title = "A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams",

author = "Lam, {V S W}",

note = "ID number: CSBU-2006-04",

year = "2006",

month = apr,

language = "English",

series = "Computer Science Technical Reports",

publisher = "Department of Computer Science, University of Bath",

number = "CSBU-2006-04",

}

TY - BOOK

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

AU - Lam, V S W

N1 - ID number: CSBU-2006-04

PY - 2006/4

Y1 - 2006/4

M3 - Other report

T3 - Computer Science Technical Reports

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

PB - Department of Computer Science, University of Bath

ER -