共 50 条
- [11] Debugging Process Algebra Specifications VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 245 - 262
- [12] USER SPECIFICATIONS FOR HYGIENIC PROCESS PLANT CHEMICAL ENGINEER-LONDON, 1985, (413): : 28 - 30
- [13] Measuring Inconsistency in Declarative Process Specifications BUSINESS PROCESS MANAGEMENT (BPM 2022), 2022, 13420 : 289 - 306
- [16] PROCESS COMMUNICATION BASED ON INPUT SPECIFICATIONS ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (03): : 224 - 250
- [17] Secure Enforcement for Global Process Specifications CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 511 - 526
- [18] Legal Framework and Specifications for Process Engineering AGRICULTURAL ENGINEERING FOR PROFESSIONAL, 2012, 2012, 2159 : 25 - 38
- [19] Analysis of business process specifications with OpenAltarica 2018 4TH IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE), 2018,
- [20] On capturing information requirements in process specifications ENTERPRISE INTEROPERABILITY II: NEW CHALLENGES AND APPROACHES, 2007, : 365 - 376