共 50 条
- [24] Executable tile specifications for process calculi FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1999, 1577 : 60 - 76
- [26] A Method of Establishing Process Specifications in Process Industry Based on Statistical Process Control Jixie Gongcheng Xuebao/Journal of Mechanical Engineering, 2019, 55 (08): : 208 - 215
- [27] Graph process specifications for hybrid networked systems DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2012, 22 (04): : 541 - 577
- [28] MATERIALS SPECIFICATIONS AND FABRICATION FOR HYDROCRACKING PROCESS EQUIPMENT MATERIALS PROTECTION, 1965, 4 (06): : 64 - +