Pages that link to "Item:Q1321833"
From MaRDI portal
The following pages link to An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833):
Displaying 5 items.
- Composition of assumption-commitment specifications in a UNITY style (Q1346680) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- Assumption-Commitment Support for CSP Model Checking (Q5178998) (← links)
- Preserving Contract Satisfiability Under Non-monotonic Composition (Q5881541) (← links)