Pages that link to "Item:Q3614835"
From MaRDI portal
The following pages link to Contracts for BIP: Hierarchical Interaction Models for Compositional Verification (Q3614835):
Displaying 4 items.
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- From Hierarchical BIP to Petri Calculus (Q5170743) (← links)
- Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets (Q5448661) (← links)
- Everything Is PSPACE-Complete in Interaction Systems (Q5505604) (← links)
