Pages that link to "Item:Q549695"
From MaRDI portal
The following pages link to Property specifications for workflow modelling (Q549695):
Displaying 5 items.
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- Cost analysis for an actor-based workflow modelling language (Q2154052) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- Property Specifications for Workflow Modelling (Q3605458) (← links)
- Algebraic Reasoning About Timeliness (Q6197377) (← links)
