The following pages link to (Q4435847):
Displaying 6 items.
- Information flow analysis of scientific workflows (Q980980) (← links)
- Automatic workflow verification and generation (Q2368986) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (Q3179169) (← links)
- A new approach to development of composite Web Services (Q5291147) (← links)
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems (Q5505610) (← links)