共 50 条
- [1] Business, Business Processes and Formal Models [J]. BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2019, 2019, 356 : 17 - 30
- [2] Formal global optimisation with Taylor models [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 408 - 422
- [3] A Formal Description of a Mapping from Business Processes to Agents [J]. ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2015, 2015, 9318 : 153 - 170
- [4] Computer models for strategic business process optimisation [J]. PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II, 2000, : A254 - A260
- [6] OPTIMISATION OF BPMN BUSINESS MODELS VIA MODEL CHECKING [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2013, VOL 2B, 2014,
- [7] BProVe: A Formal Verification Framework for Business Process Models [J]. PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 217 - 228
- [8] Towards a Formal Description of Artificial Intelligence Models and Datasets in Radiology [J]. ARTIFICIAL INTELLIGENCE IN MEDICINE, PT II, AIME 2024, 2024, 14845 : 140 - 144
- [10] Comparison of two economic models for a business-to-business exchange [J]. ICM MILLENNIUM LECTURES ON GAMES, 2003, : 335 - 345