Pages that link to "Item:Q1398902"
From MaRDI portal
The following pages link to Analysis and simulation of Web services. (Q1398902):
Displaying 12 items.
- A design methodology for verified web-service mediators (Q488326) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Service net algebra based on logic Petri nets (Q726149) (← links)
- Model transformation and formal verification for semantic web services composition (Q982939) (← links)
- Minimum-cost delegation in service composition (Q2378522) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- Reasoning about interaction protocols for web service composition (Q2847794) (← links)
- Computer Aided Verification (Q5312941) (← links)
- Fundamental Approaches to Software Engineering (Q5316442) (← links)
- Automated Technology for Verification and Analysis (Q5394169) (← links)
- Fundamental Approaches to Software Engineering (Q5428886) (← links)
- Static Analysis (Q5466575) (← links)