Pages that link to "Item:Q1193606"
From MaRDI portal
The following pages link to Specifying modules to satisfy interfaces: A state transition system approach (Q1193606):
Displaying 5 items.
- Algebraic and functional specification of an interactive serializable database interface (Q1193602) (← links)
- Proving possibility properties (Q1276319) (← links)
- Composing leads-to properties (Q1575647) (← links)
- (Q4251109) (← links)
- Specifying and analysing system-level inter-component interfaces (Q5935939) (← links)