Pages that link to "Item:Q1037243"
From MaRDI portal
The following pages link to A rigorous methodology for specification and verification of business processes (Q1037243):
Displaying 8 items.
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- Algorithm for formal verification of business process templates (Q464876) (← links)
- A formal framework for business process modelling and design (Q1859984) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- Formal methods to improve public administration business processes (Q2889178) (← links)
- Formalising Feasibility and Correctness of Distributed Business Processes (Q4411497) (← links)
- Verification and Validation of Formal Data-Centric Business Models (Q4621198) (← links)
- Business process verification with constraint temporal answer set programming (Q5398302) (← links)