Pages that link to "Item:Q3638992"

The following pages link to Formal Verification for Components and Connectors (Q3638992):

Displaying 4 items.

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
• Static and dynamic property-preserving updates (Q2042718) (← links)
• Compositional construction of most general controllers (Q2350495) (← links)
• Most General Property-Preserving Updates (Q5739011) (← links)