Pages that link to "Item:Q1394796"
From MaRDI portal
The following pages link to Verification of relational transducers for electronic commerce (Q1394796):
Displayed 4 items.
- On the aggregation problem for synthesized web services (Q389232) (← links)
- On the verification of security-aware E-services (Q429592) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)