Compositional action system derivation using enforced properties

DOI10.1007/978-3-642-13321-3_9MaRDI QIDQ3575269zbMATH OpenOpenAlexFDO

Authors Brijesh Dongol, Ian Hayes

Publication date 26 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13321-3_9

Mathematics Subject Classification ID

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

Recommendations

• Compositional action system refinement
• Model checking action system refinements
• Action systems in incremental and aspect-oriented modeling
• Distributed cooperation with action systems
• scientific article; zbMATH DE number 3956417

Cited in

(1)

• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

This page was built for publication: Compositional action system derivation using enforced properties

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