共 50 条
- [13] Formal QoS Policy Based Grid Resource Provisioning Framework Journal of Grid Computing, 2012, 10 : 249 - 264
- [15] Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023, 2023, 14287 : 10 - 29
- [17] Formal Framework for Cost Analysis Based on Process Algebra COMMUNICATIONS AND INFORMATION PROCESSING, PT 1, 2012, 288 : 110 - 117
- [19] Towards a formal framework for reuse in business process modeling BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2008, 4928 : 484 - 495
- [20] BProVe: A Formal Verification Framework for Business Process Models PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 217 - 228