scientific article; zbMATH DE number 1304378
From MaRDI portal
Publication:4251114
zbMath0928.68072MaRDI QIDQ4251114
István Majzik, Mieke Massink, Diego Latella
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata ⋮ On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams ⋮ On testing UML statecharts ⋮ Synergistic verification and validation of systems and software engineering models ⋮ Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
Uses Software
This page was built for publication:
