scientific article; zbMATH DE number 2006497

MaRDI QIDQ4435875zbMATH OpenFDO

Authors Marc Lettrari, Jochen Klose

Publication date 20 November 2003

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1967727
• Scenario-based verification of real-time systems using UPPAAL
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
• On testing UML statecharts
• Specification of real-time systems in UML

Cited in

(3)

• Kieker: continuous monitoring and on demand visualization of Java software behavior
• Some Results on the Expressive Power and Complexity of LSCs
• Scenario-based verification of real-time systems using UPPAAL

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 Q4435875)