Pages that link to "Item:Q5311302"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311302):
Displaying 5 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Behaviour specification of parallel active objects (Q1275048) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- (Q3046762) (← links)
- Higher order architecture of collections of objects (Q3465115) (← links)