scientific article; zbMATH DE number 2006503

zbMATH Open1024.68875MaRDI QIDQ4435883FDOQ4435883

Authors: Michael von der Beeck 

Publication date: 20 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2185/21850406.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1304378
• scientific article; zbMATH DE number 2016088
• An outline of PVS semantics for UML statecharts
• scientific article; zbMATH DE number 1569123
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Cited In (17)

• Refinement Patterns for Hierarchical UML State Machines
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On testing UML statecharts
• Are Statecharts Finite Automata?
• Use of statechart diagrams for modeling of hypertext
• On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modelling and model checking suspendible business processes via statechart diagrams and CSP
• Statecharts, transition structures and transformations
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Reconciling statechart semantics
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• Global Computing
• An outline of PVS semantics for UML statecharts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435883)