Pages that link to "Item:Q2848067"
From MaRDI portal
The following pages link to Modeling and model checking web services (Q2848067):
Displaying 18 items.
- On the verification of security-aware E-services (Q429592) (← links)
- Monitoring and recovery for web service applications (Q488218) (← links)
- A design methodology for verified web-service mediators (Q488326) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- Service net algebra based on logic Petri nets (Q726149) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Formal specification of a web services protocol (Q861299) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Requirements-driven verification of web services (Q2847799) (← links)
- Formal specification of a web services protocol (Q2847803) (← links)
- (Q3509808) (← links)
- Compositional Service Trees (Q3636850) (← links)
- (Q4553259) (← links)
- Computer Aided Verification (Q5312941) (← links)
- Fundamental Approaches to Software Engineering (Q5316442) (← links)
- Automated Technology for Verification and Analysis (Q5394169) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464484) (← links)