Pages that link to "Item:Q2571203"
From MaRDI portal
The following pages link to Behavioural specification for hierarchical object composition (Q2571203):
Displaying 8 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- (Q3046762) (← links)
- Higher order architecture of collections of objects (Q3465115) (← links)
- Sheaves, Objects, and Distributed Systems (Q4982050) (← links)
- Formal Methods for Components and Objects (Q5311302) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)