scientific article; zbMATH DE number 1286822

MaRDI QIDQ4243082zbMATH OpenFDO

Authors Johannes Helbig

Publication date 11 May 1999

zbMATH Keywords

statechartssymbolic timing diagramsverification tools

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A compositional axiomatization of statecharts
• Statecharts: a visual formalism for complex systems
• scientific article; zbMATH DE number 1544531
• scientific article; zbMATH DE number 1444724

Cited in

(12)

• Statecharts: a visual formalism for complex systems
• A compositional axiomatization of statecharts
• Timing diagrams: Formalization and algorithmic verification
• scientific article; zbMATH DE number 1973986 (Why is no real title available?)
• scientific article; zbMATH DE number 2079808 (Why is no real title available?)
• scientific article; zbMATH DE number 1479645 (Why is no real title available?)
• scientific article; zbMATH DE number 1544531 (Why is no real title available?)
• Compositional Verification of Quantitative Properties of Statecharts
• scientific article; zbMATH DE number 1390247 (Why is no real title available?)
• Proof tactics for a theory of state machines in a graphical environment
• Diagrammatic Representation and Inference
• A graphic language based on timing diagrams

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