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

Bibliographic Details
Main Author:	Lam, Vitus S. W.
Published:	University of Bath 2006
Subjects:	005.1
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425342

id	ndltd-bl.uk-oai-ethos.bl.uk-425342
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-4253422015-03-19T04:22:09ZA formal execution semantics and rigorous analytical approach for communicating UML statechart diagramsLam, Vitus S. W.2006005.1University of Bathhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425342Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005.1
spellingShingle	005.1 Lam, Vitus S. W. A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
author	Lam, Vitus S. W.
author_facet	Lam, Vitus S. W.
author_sort	Lam, Vitus S. W.
title	A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
title_short	A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
title_full	A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
title_fullStr	A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
title_full_unstemmed	A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
title_sort	formal execution semantics and rigorous analytical approach for communicating uml statechart diagrams
publisher	University of Bath
publishDate	2006
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425342
work_keys_str_mv	AT lamvitussw aformalexecutionsemanticsandrigorousanalyticalapproachforcommunicatingumlstatechartdiagrams AT lamvitussw formalexecutionsemanticsandrigorousanalyticalapproachforcommunicatingumlstatechartdiagrams
_version_	1716737071059566592

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

Similar Items