Pages that link to "Item:Q1394796"
From MaRDI portal
The following pages link to Verification of relational transducers for electronic commerce (Q1394796):
Displaying 6 items.
- Deciding confluence for a simple class of relational transducer networks (Q269334) (← links)
- 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)
- Process-centric views of data-driven business artifacts (Q2396822) (← links)
