Pages that link to "Item:Q1654563"
From MaRDI portal
The following pages link to Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563):
Displaying 4 items.
- Composition of assumption-commitment specifications in a UNITY style (Q1346680) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability (Q6488336) (← links)
- APML: an architecture proof modeling language (Q6535972) (← links)