Pages that link to "Item:Q429592"
From MaRDI portal
The following pages link to On the verification of security-aware E-services (Q429592):
Displaying 6 items.
- On the verification of security-aware E-services (Q429592) (← links)
- Parametrized automata simulation and application to service composition (Q485834) (← links)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
- Verification of relational transducers for electronic commerce (Q1394796) (← links)
- Requirements-driven verification of web services (Q2847799) (← links)
- (Q4445751) (← links)