scientific article; zbMATH DE number 2087522

zbMath1059.68542MaRDI QIDQ4738327

Alexandre David, Wang Yi, M. Oliver Möller

Publication date: 11 August 2004

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata ⋮ A flattening algorithm for hierarchical timed automata

Uses Software

• SPIN
• Uppaal

This page was built for publication: