scientific article; zbMATH DE number 2086949

MaRDI QIDQ4737557zbMATH OpenFDO

Authors Emil Sekerinski, Rafik Zurob

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2006501
• Statecharts, transition structures and transformations
• scientific article; zbMATH DE number 1949630
• scientific article; zbMATH DE number 2086948
• Statecharts: a visual formalism for complex systems

Cited in

(4)

• scientific article; zbMATH DE number 1949630 (Why is no real title available?)
• scientific article; zbMATH DE number 2006501 (Why is no real title available?)
• Statecharts, transition structures and transformations
• A formal semantics of extended hierarchical state transition matrices using CSP\#

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