Pages that link to "Item:Q5403083"
From MaRDI portal
The following pages link to Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method (Q5403083):
Displaying 4 items.
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading (Q4538485) (← links)
- A Hybrid Model in Dynamic Software Updating for C (Q5305773) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)