Automatic proofs for scalecharts

DOI10.1007/978-3-540-25931-2_21MaRDI 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, https://cris.brighton.ac.uk/ws/files/154527/D2k4RB.pdf

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: Automatic proofs for scalecharts

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