Formal Methods to Improve Public Administration Business Processes (Q2889178): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q3999156 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Communicating sequential processes / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Specification of communicating processes: temporal logic versus refusals-based refinement / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Formalisations and applications of BPMN / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Property Specifications for Workflow Modelling / rank | |||
Normal rank | |||
Latest revision as of 07:58, 5 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Methods to Improve Public Administration Business Processes |
scientific article |
Statements
Formal Methods to Improve Public Administration Business Processes (English)
0 references
4 June 2012
0 references
verification of business process models
0 references
business process quality assessment
0 references
domain dependent property checking
0 references
e-government quality framework
0 references
CSP models
0 references
0 references
