Pages that link to "Item:Q433347"
From MaRDI portal
The following pages link to A generic framework for \(n\)-protocol compatibility checking (Q433347):
Displaying 4 items.
- On the diversity of asynchronous communication (Q315311) (← links)
- An Event-B based approach for cloud composite services verification (Q826351) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- Research on the dynamic reconfiguration of Web application using two-phase compatibility verification (Q2874308) (← links)
