Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Author: Gnesi S.   Latella D.   Massink M.  

Publisher: Elsevier

ISSN: 1567-8326

Source: Journal of Logic and Algebraic Programming, Vol.51, Iss.1, 2002-04, pp. : 43-75

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract