Pages that link to "Item:Q3638992"

From MaRDI portal

← Formal Verification for Components and Connectors (Q3638992)

Jump to:navigation, search

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

Displaying 3 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)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q3638992"