Pages that link to "Item:Q878758"
From MaRDI portal
The following pages link to Specification and verification of data-driven Web applications (Q878758):
Displaying 10 items.
- Deciding confluence for a simple class of relational transducer networks (Q269334) (← links)
- On the aggregation problem for synthesized web services (Q389232) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Automated specification and verification of web-based applications (Q511928) (← links)
- Process-centric views of data-driven business artifacts (Q2396822) (← links)
- WAVer: a model checking-based tool to verify web application design (Q2852079) (← links)
- On the Automated Verification of Web Applications with Embedded SQL (Q3174909) (← links)
- DOM: Specification and Client Reasoning (Q3179307) (← links)
- (Q4673431) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464484) (← links)