Pages that link to "Item:Q934712"
From MaRDI portal
The following pages link to Verification of evolving software via component substitutability analysis (Q934712):
Displaying 8 items.
- Assurance of dynamic adaptation in distributed systems (Q436856) (← links)
- Active learning of nondeterministic finite state machines (Q459826) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Towards an approach of consistency verification for online software evolution in open environments (Q3462737) (← links)
- On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading (Q4538485) (← links)
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method (Q5403083) (← links)
- FM 2005: Formal Methods (Q5716900) (← links)