共 50 条
- [1] A review of the process formalization standards to develop a transaction protocol for infrastructure management EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION, 2012, : 405 - 412
- [2] Formalization and simulation of business process MODELLING AND SIMULATION OF BUSINESS SYSTEMS, 2003, : 198 - 202
- [3] Formalization of the IT Audit Management Process PROCEEDINGS OF THE 2012 IEEE 16TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2012), 2012, : 1 - 10
- [5] CONTRIBUTION TO THE FORMALIZATION OF THE PROCESS MAPPING DEVELOPMENT POLISH JOURNAL OF MANAGEMENT STUDIES, 2011, 4 : 32 - 41
- [6] A Formalization and Proof of the Extended Church-Turing Thesis ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (88): : 72 - 78
- [9] Formalization of Signaling System by Process Calculus INTERNATIONAL CONFERENCE ON FUTURE INFORMATION ENGINEERING (FIE 2014), 2014, 10 : 160 - 168
- [10] Lean Formalization of Extended Regular Expression Matching with Lookarounds PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 118 - 131