共 50 条
- [41] Transformation of Lotos specifications to Estelle specifications SECOND IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1997, : 215 - 220
- [42] SPECIFICATIONS CLINIC - COMPLEAT SPECIFICATIONS DEPARTMENT PROGRESSIVE ARCHITECTURE, 1976, 57 (12): : 81 - 81
- [43] Synthesis of Reactive Control Protocols for Switch Electrical Power Systems for Commercial Application with Safety Specifications PROCEEDINGS OF 2016 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), 2016,