Diagrammatic Representation and Inference

DOI10.1007/B95854MaRDI QIDQ5714040zbMATH OpenOpenAlexFDO

Authors Richard Bosworth

Publication date 27 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b95854

Mathematics Subject Classification ID

Recommendations

• Statecharts, transition structures and transformations
• scientific article; zbMATH DE number 1286822
• scientific article; zbMATH DE number 139805
• Statecharts: a visual formalism for complex systems
• Compositional Verification of Quantitative Properties of Statecharts

Cited in

(1)

• Automating the overlay of line charts with multiple semilogarithmic scales

This page was built for publication: Diagrammatic Representation and Inference

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