Specifying component behavior with port state machines

MaRDI QIDQ2847430zbMATH OpenFDO

Authors Vladimir Mencl

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051102

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Views on behaviour protocols and their semantic foundation
• Counter-constrained finite state machines: a new model for component protocols with resource-dependencies
• scientific article; zbMATH DE number 1947732
• scientific article; zbMATH DE number 1670514
• scientific article; zbMATH DE number 7314999

Cited in

(2)

• Views on behaviour protocols and their semantic foundation
• Counter-constrained finite state machines: a new model for component protocols with resource-dependencies

This page was built for publication: Specifying component behavior with port state machines

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