Formal Methods to Improve Public Administration Business Processes (Q2889178): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Barbara Re / rank | |||
Property / author | |||
Property / author: Barbara Re / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123763112 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2117568741 / rank | |||
Normal rank | |||
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