Implied Scenario Detection in the Presence of Behaviour Constraints

DOI10.1016/S1571-0661(04)80485-7zbMath1268.68117MaRDI QIDQ2841318

Jeff Kramer, J. Magee, Sebastian Uchitel

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Formal modeling of evolving self-adaptive systems ⋮ Synthesis of Reo circuits from scenario-based interaction specifications ⋮ Synthesis of Reo Circuits from Scenario-based Specifications

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Implied Scenario Detection in the Presence of Behaviour Constraints