Pages that link to "Item:Q5311295"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311295):
Displaying 5 items.
- Preserving coarse properties (Q262645) (← links)
- Property transformation under specification change (Q352027) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Most General Property-Preserving Updates (Q5739011) (← links)