Pages that link to "Item:Q2340044"
From MaRDI portal
The following pages link to Dependability certification of services: a model-based approach (Q2340044):
Displaying 4 items.
- Dependability certification of services: a model-based approach (Q2340044) (← links)
- Modeling and verification of reliable messaging by graph transformation systems (Q2867887) (← links)
- Guaranteeing weak termination in service discovery (Q2895782) (← links)
- A reference architecture for the certification of E-services in a digital government infrastructure (Q4792540) (← links)