Design and reactive systems and their distributed implementation with Statecharts

MaRDI QIDQ4239039zbMATH OpenFDO

Authors Peter Scholz

Publication date 19 April 1999

zbMATH Keywords

design for reactive systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2000429
• Specification and top-down design of distributed systems
• scientific article; zbMATH DE number 3898216
• scientific article; zbMATH DE number 1497818
• Reactive system refinement of distributed systems in B
• Reaching and Distinguishing States of Distributed Systems
• scientific article; zbMATH DE number 1708017
• scientific article; zbMATH DE number 600601

Cited in

(1)

• Incremental design of statechart specifications

This page was built for publication: Design and reactive systems and their distributed implementation with Statecharts

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