Pages that link to "Item:Q5395093"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395093):
Displaying 4 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
