Pages that link to "Item:Q934712"
From MaRDI portal
The following pages link to Verification of evolving software via component substitutability analysis (Q934712):
Displaying 4 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)